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ženo v:
Podrobná bibliografie
Vydáno 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í autoři: Zhang, Lintao, Malik, Sharad
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: Washington, DC, USA IEEE Computer Society 03.03.2003
Edice:ACM Conferences
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Buďte první, kdo okomentuje tento záznam!
Nejprve se musíte přihlásit.