2424 search results - page 266 / 485 » The High Level Architecture for Simulations |
169
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
163
click to vote
TVLSI
2008
15 years 6 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
138
click to vote
ISCA
2006
IEEE
16 years 20 days ago
2006
IEEE
One of the key challenges for high-density servers (e.g., blades) is the increased costs in addressing the power and heat density associated with compaction. Prior approaches have...
151
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
171
click to vote
MASCOTS
2008
15 years 8 months ago
2008
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...