Validating SAT Solvers Using an Independent Resolution-Based Checker Practical Implementations and Other Applications

As the use of SAT solvers as core engines in EDA applications grows, it becomes increasingly important to validate their correctness. In this paper, we describe the implementation of an independent resolution-based checking procedure that can check the validity of unsatisfiable claims produced by th...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Design, Automation, and Test in Europe: Proceedings of the conference on Design, Automation and Test in Europe - Volume 1; 03-07 Mar. 2003 s. 10880
Hlavní autori:	Zhang, Lintao, Malik, Sharad
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Washington, DC, USA IEEE Computer Society 03.03.2003
Edícia:	ACM Conferences
Predmet:	Hardware > Hardware test Hardware > Hardware validation > Functional verification Hardware > Integrated circuits > Logic circuits > Combinational circuits Hardware > Robustness
ISBN:	0769518702, 9780769518701
ISSN:	1530-1591
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!