✦ LIBER ✦

Hybrid, Incremental Assertion-Based Verification for TLM Design Flows

✍ Scribed by Bombieri, N.; Fummi, F.; Pravadelli, G.; Fedeli, A.

Book ID: 119807382
Publisher: IEEE
Year: 2007
Tongue: English
Weight: 963 KB
Volume: 24
Category: Article
ISSN: 0740-7475
DOI: 10.1109/mdt.2007.48

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Early design verification of complex ass

Early design verification of complex assembly variability using a Hybrid – Model Based and Physical Testing – Methodology

✍ P.G. Maropoulos; P. Vichare; O. Martin; J. Muelaner; M.D. Summers; A. Kayani 📂 Article 📅 2011 🏛 International Academy for Production Engineering 🌐 English ⚖ 538 KB

[IEEE 2011 International Symposium on El

[IEEE 2011 International Symposium on Electronic System Design (ISED) - Kochi, Kerala, India (2011.12.19-2011.12.21)] 2011 International Symposium on Electronic System Design - An Efficient Method for Using Transaction Level Assertions in a Class Based Verification Environment

✍ Sudhish, Naveen; BR, Raghavendra; Yagain, Harish 📂 Article 📅 2011 🏛 IEEE ⚖ 239 KB