1151 search results - page 2 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
152
click to vote
ARC
2008
Springer
15 years 5 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...
132
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
150
Voted
DATE
2009
IEEE
15 years 10 months 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...
115
Voted
DAC
2005
ACM
16 years 4 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
15 years 7 months ago
1995
IEEE
