1151 search results - page 2 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
ARC
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper we present a framework for the automatic identification and selection of convex MIMO instruction-set extensions for reconfigurable architecture. The framewo...
CODES
2005
IEEE
13 years 11 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
DATE
2009
IEEE
14 years 2 hour ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
ICCAD
1995
IEEE
13 years 8 months ago
1995
IEEE
