𝔖 Bobbio Scriptorium

✦ LIBER ✦

Automated Correctness Condition Generation for Formal Verification of Synthesized RTL Designs

✍ Scribed by Nazanin Mansouri; Ranga Vemuri

Book ID: 110267545
Publisher: Springer
Year: 2000
Tongue: English
Weight: 274 KB
Volume: 16
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008777509016

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE ASP-DAC 2005. Asia and South Pacif

[IEEE ASP-DAC 2005. Asia and South Pacific Design Automation Conference 2005 - Shanghai, China (18-21 Jan. 2005)] Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005. - Automatic functional test program generation for microprocessor verification

✍ Tun Li, ; Dan Zhu, ; Lei Liang, ; Yang Guo, ; SiKun Li, 📂 Article 📅 2005 🏛 IEEE ⚖ 703 KB