154 search results - page 11 / 31 » A Formal Verification Approach for IP-based Designs |
128
click to vote
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
116
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
105
Voted
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...
108
click to vote
TVLSI
2008
15 years 1 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...