3883 search results - page 241 / 777 » Design mentoring based on design evolution analysis |
160
click to vote
ENTCS
2008
15 years 5 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
136
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
Dynamic noise analysis is greatly needed in place of traditional static noise analysis due to the ever increasingly stringent design requirement for VLSI chips based on very deep ...
153
click to vote
CSCW
2000
ACM
15 years 5 months ago
2000
ACM
The design of software toolkits embodies a fundamental tension. On the one hand, it aims to reduce programmer effort by providing prefabricated, reusable software modules encapsula...
150
click to vote
VLSID
2009
IEEE
16 years 6 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
128
click to vote
CHES
2007
Springer
15 years 11 months ago
2007
Springer
Contrarily to Kerckhoffs’ principle, many applications of today’s cryptography still adopt the security by obscurity paradigm. Furthermore, in order to rely on its proven or e...