1019 search results - page 162 / 204 » Computer Aided Ferret Design |
GLVLSI
2008
IEEE
14 years 4 months ago
2008
IEEE
Statistical static timing analysis (SSTA) plays a key role in determining performance of the VLSI circuits implemented in state-of-the-art CMOS technology. A pre-requisite for emp...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
JCDL
2006
ACM
14 years 3 months ago
2006
ACM
The Walden’s Paths project is developing tools for leveraging student learning with the incredible amount of educational material on the Web. Specialized templates based on esta...
PLDI
2004
ACM
14 years 3 months ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
SEAAI
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...