✦ LIBER ✦

Hierarchical functional verification for cell-based design styles

✍ Scribed by Chen, L.G.; Lee, J.Y.; Wang, J.F.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design and formal verification of a hier

✍ Hemangee K. Kapoor, Praveen Kanakala, Malti Verma… 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 884 KB

Efficient functional verification algori

✍ Bilinski, K.; Saul, J.M.; Dagless, E.L. 📂 Article 📅 1995 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 650 KB

ADL-Based Specification of Implementatio

✍ David A. Penry,Kurtis D. Cahill 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 474 KB

Hierarchical Structure-Based Virtual Scr

✍ Miteva, M. 📂 Article 📅 2008 🏛 Versita 🌐 English ⚖ 352 KB

Low-Area Wrapper Cell Design for Hierarc

✍ Kyuchull Kim; Kewal K. Saluja 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 298 KB

Hybrid, Incremental Assertion-Based Veri

✍ Bombieri, N.; Fummi, F.; Pravadelli, G.; Fedeli, A. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 963 KB