1151 search results - page 51 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
119
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
144
click to vote
ISQED
2011
IEEE
14 years 7 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
137
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
Abstract-- The design of application-specific instruction set processor (ASIP) system includes at least three interdependent tasks: microarchitecture design, instruction set design...
124
Voted
INTEGRATION
2000
15 years 3 months ago
2000
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management. Objectoriented applications oft...
106
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
In a constraint-drivenlayout synthesisenvironment,parasitic constraints are generated and implemented in each phase of the design process to meet a given set of performance specif...