✦ LIBER ✦

Survey of modern technologies of simulation-based verification of hardware

✍ Scribed by A. S. Kamkin; M. M. Chupilko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of DSP simulation by compar

✍ Jim Chance 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 655 KB

The application of modern surveying tech

✍ Jin-feng Shi; Wei-dong Song; Ji-chao Zhang; Dong-mei Zhang 📂 Article 📅 2008 🏛 China Coal Society 🌐 English ⚖ 181 KB

Simulation-Based Verification of Floatin

✍ Guralnik, E.; Aharoni, M.; Birnbaum, A.J.; Koyfman, A. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 996 KB

Synthesis of new designs based on modern

✍ O. M. Shikul’skya; O. S. Konstantinova 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 89 KB

Automatic valuation and verification of

✍ Ferdinand Svaricek 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 36 KB

A survey of recent advances in SAT-based

✍ Mukul R. Prasad; Armin Biere; Aarti Gupta 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 499 KB