23 search results - page 5 / 5 » Reconfigurable Hardware SAT Solvers: A Survey of Systems |
DATE
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
CAV
2004
Springer
13 years 10 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...