✦ LIBER ✦

Formal Verification Techniques Based on Boolean Satisfiability Problem

✍ Scribed by Xiao-Wei Li; Guang-Hui Li; Ming Shao

Publisher: Springer
Year: 2005
Tongue: English
Weight: 611 KB
Volume: 20
Category: Article
ISSN: 1000-9000
DOI: 10.1007/s11390-005-0004-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification based on Boolean Exp

Formal Verification based on Boolean Expression Diagrams

✍ Poul Frederick Williams 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Effective use of Boolean satisfiability

Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors

✍ Miroslav N Velev; Randal E Bryant 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 477 KB

We compare SAT-checkers and decision diagrams on the evaluation of Boolean formulae produced in the formal verification of both correct and buggy versions of superscalar and VLIW microprocessors. The microprocessors are described in a high-level hardware description language, based on the logic of e

Application of BDDs in Boolean matching

Application of BDDs in Boolean matching techniques for formal logic combinational verification

✍ Janett Mohnke; Paul Molitor; Sharad Malik 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 200 KB

An approach to sequential circuit diagno

An approach to sequential circuit diagnosis based on formal verification techniques

✍ G. Cabodi; P. Camurati; F. Corno; P. Prinetto; M. Sonza Reorda 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 631 KB

An algorithm based on tabu search for sa

An algorithm based on tabu search for satisfiability problem

✍ Wenqi Huang; Defu Zhang; Houxiang Wang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 550 KB

Public-key cryptographic system based on

Public-key cryptographic system based on generalized satisfiability problem

✍ E. A. Potseluevskaya 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 135 KB