597 search results - page 8 / 120 » E-Process Design and Assurance Using Model Checking |
GLVLSI
2006
IEEE
15 years 4 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
DAC
1999
ACM
15 years 11 months ago
1999
ACM
151
click to vote
CLIMA
2011
13 years 10 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
MTV
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
GPCE
2009
Springer
14 years 7 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...