✦ LIBER ✦

Formal verification of circuits and systems

✍ Scribed by P. P. Chakrabarti

Book ID: 110649331
Publisher: Indian Academy of Sciences
Year: 2002
Tongue: English
Weight: 9 KB
Volume: 27
Category: Article
ISSN: 0256-2499
DOI: 10.1007/bf02717180

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 IEEE 10th International New C

[IEEE 2012 IEEE 10th International New Circuits and Systems Conference (NEWCAS) - Montreal, QC, Canada (2012.06.17-2012.06.20)] 10th IEEE International NEWCAS Conference - Formal error analysis and verification of a frequency domain equalizer

✍ Souari, Anis; Tahar, Sofiene; Gawanmeh, Amjad 📂 Article 📅 2012 🏛 IEEE ⚖ 259 KB

A Method of Formal Verification of Crypt

A Method of Formal Verification of Cryptographic Circuits

✍ Kanji Hirabayashi 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 17 KB

On the formal specification and verifica

On the formal specification and verification of digital circuits

✍ Peter J. de Graaff 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 546 KB

Formal verification of bond graph modell

Formal verification of bond graph modelled analogue circuits

✍ Denman, W.; Zaki, M.H.; Tahar, S. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 967 KB

Advanced Formal Verification || Equivale

Advanced Formal Verification || Equivalence Checking of Arithmetic Circuits

✍ Drechsler, Rolf 📂 Article 📅 2004 🏛 Kluwer Academic Publishers 🌐 English ⚖ 509 KB

modern Circuits May Contain Up To Several Hundred Million Transistors. In The Meantime It Has Been Observed That Verification Becomes The Major Bottleneck In Design Flows, I.e. Up To 80% Of The Overall Design Costs Are Due To Verification. This Is One Of The Reasons Why Several Methods Have Been Pro

Formal specification and verification of

Formal specification and verification of microprocessor systems

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB