1151 search results - page 51 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
154
click to vote
DATE
2004
IEEE
15 years 10 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...
191
click to vote
ISQED
2011
IEEE
14 years 10 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...
177
click to vote
ICCAD
1994
IEEE
15 years 10 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...
159
click to vote
INTEGRATION
2000
15 years 6 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...
154
click to vote
ICCAD
1996
IEEE
15 years 10 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...