✦ LIBER ✦

Word-level symbolic simulation in processor verification

✍ Scribed by Alizadeh, B.; Navabi, Z.

Book ID: 114448605
Publisher: The Institution of Electrical Engineers
Year: 2004
Tongue: English
Weight: 608 KB
Volume: 151
Category: Article
ISSN: 1350-2387
DOI: 10.1049/ip-cdt:20041046

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

CMOS circuit verification with symbolic

CMOS circuit verification with symbolic switch-level timing simulation

✍ McDonald, C.B.; Bryant, R.E. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 330 KB

Using Word-Level Information in Formal H

Using Word-Level Information in Formal Hardware Verification

✍ R. Drechsler 📂 Article 📅 2004 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 234 KB

Level statistics of words: Finding keywo

Level statistics of words: Finding keywords in literary texts and symbolic sequences

✍ Carpena, P.; Bernaola-Galván, P.; Hackenberg, M.; Coronado, A. V.; Oliver, J. L. 📂 Article 📅 2009 🏛 The American Physical Society 🌐 English ⚖ 132 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Formal Verification of Pentium ® 4 Components with Symbolic Simulation and Inductive Invariants

✍ Etessami, Kousha; Rajamani, Sriram K. 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 196 KB

Does comprehension of symbolic gestures

Does comprehension of symbolic gestures and corresponding-in-meaning words make use of motor simulation?

✍ Campione, Giovanna Cristina; De Stefani, Elisa; Innocenti, Alessandro; De Marco, 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 934 KB

[IEEE 2008 Ninth International Workshop

[IEEE 2008 Ninth International Workshop on Microprocessor Test and Verification - Austin, TX, USA (2008.12.8-2008.12.10)] 2008 Ninth International Workshop on Microprocessor Test and Verification - AMD64 Processor Front-End Verification (at Unit-Level Testbench) with Instruction Set Simulator

✍ Murale, K.; Hildebrandt, S.; Bojsen, P.; Urzua, A. 📂 Article 📅 2008 🏛 IEEE ⚖ 296 KB