597 search results - page 8 / 120 » E-Process Design and Assurance Using Model Checking |
114
click to vote
GLVLSI
2006
IEEE
15 years 8 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
16 years 3 months ago
1999
ACM
189
click to vote
CLIMA
2011
14 years 2 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...
125
click to vote
MTV
2006
IEEE
15 years 8 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...
127
click to vote
GPCE
2009
Springer
15 years 4 days 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...