✦ LIBER ✦

Functional formal verification on designs of pSeries microprocessors and communication subsystems

✍ Scribed by Gott, R. M.; Baumgartner, J. R.; Roessler, P.; Joe, S. I.

Book ID: 115539672
Publisher: IBM
Year: 2005
Tongue: English
Weight: 263 KB
Volume: 49
Category: Article
ISSN: 0018-8646
DOI: 10.1147/rd.494.0565

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 IEEE/ACM International Confer

[IEEE 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2011.11.7-2011.11.10)] 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Automatic formal verification of multithreaded pipelined microprocessors

✍ Velev, Miroslav N.; Gao, Ping 📂 Article 📅 2011 🏛 IEEE ⚖ 508 KB

[IEEE 4th International Workshop on Micr

[IEEE 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Austin, TX, USA (29-30 May 2003)] Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Definition of a systematic method for the generation of software test programs allowing the functional verification of system on chip (SoC)

✍ Hunsinger, F.; Francois, S.; Jerraya, A.A. 📂 Article 📅 2003 🏛 IEEE ⚖ 237 KB

[IEEE Computer Soc 18th International Co

[IEEE Computer Soc 18th International Conference on VLSI Design - Kolkata, India (3-7 Jan. 2005)] 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design - A universal random test generator for functional verification of microprocessors and system-on-chip

✍ Uday Bhaskar, K.; Prasanth, M.; Chandramouli, G.; Kamakoti, V. 📂 Article 📅 2005 🏛 IEEE Computer Soc 🌐 English ⚖ 194 KB

A January 2005 conference fostered interaction between the domains of system architecture, logic and circuit design, and device fabrication. Design automation, embedded systems design, rapid prototyping, and embedded software design were some other themes. Papers from the conference focus on power-a

RETRACTED ARTICLE: Study on the expressi

RETRACTED ARTICLE: Study on the expression specifications of geometrical products for function, design, manufacture and verification based on the improved GPS language

✍ Limin Ma; Xiangqian Jiang; Jinxing Wang; Zhengao Xu; Zhu Li 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 300 KB

[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

Erratum to: Retraction Note: Study on th

Erratum to: Retraction Note: Study on the expression specifications of geometrical products for function, design, manufacture and verification based on the improved GPS language

✍ Limin Ma; Xiangqian Jiang; Jinxing Wang; Zhengao Xu; Zhu Li 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 40 KB