✦ LIBER ✦

Coverage metrics for formal verification

✍ Scribed by Hana Chockler; Orna Kupferman; Moshe Vardi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design-Intent Coverage—A New Parad

✍ Basu, P.; Das, S.; Banerjee, A.; Dasgupta, P.; Chakrabarti, P.P.; Mohan, C.R.; F 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 262 KB

OCCOM-efficient computation of observabi

✍ Fallah, F.; Devadas, S.; Keutzer, K. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 197 KB

Formal Verification for Embedded System

✍ Xi Chen; Harry Hsieh; Felice Balarin; Yosinori Watanabe 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 140 KB

SystemVerilog for Verification Volume 16

✍ Spear, Chris; Tumbush, Greg 📂 Article 📅 2011 🏛 Springer US ⚖ 986 KB

[Lecture Notes in Computer Science] Comp

✍ Gopalakrishnan, Ganesh; Qadeer, Shaz 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 239 KB

Efficient coverage analysis metric for H

✍ Liu, C.-N.; Jou, J.-Y. 📂 Article 📅 2001 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 523 KB