1151 search results - page 154 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
131
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
115
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Modern IC designs have reached unparalleled levels of complexity, resulting in more and more bugs discovered after design tape-out However, so far only very few EDA tools for post...
145
Voted
CAD
2004
Springer
15 years 4 months ago
2004
Springer
Although solid models play a central role in modern CAD systems, 2D CAD systems are still commonly used for designing products without complex curved faces. Therefore, an importan...
146
click to vote
COOP
2004
15 years 5 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
148
Voted
FPL
2007
Springer
15 years 8 months ago
2007
Springer
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. These custom instructions are selected through an analys...