✦ LIBER ✦

Verisym: Verifying Circuits by Symbolic Simulation

✍ Scribed by William Adams; Warren A. Hunt; Damir Jamsek

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Exploiting symmetry when verifying trans

✍ Pandey, M.; Bryant, R.E. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 339 KB

Symbolic large-signal simulation of swit

✍ J. Wojciechowski; B. Sawionek; Z. Michalski; J. Vlach 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 771 KB

Verifying Concurrent Data Structures by

✍ Robert Colvin; Simon Doherty; Lindsay Groves 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 322 KB

Verifying a demand system by simulation

✍ Henri Theil; Renate Finke; Mercedes C. Rosalsky 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 214 KB

A hierarchical approach to large circuit

✍ S. Đorđević; P. Petković 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 234 KB

ISAAC: a symbolic simulator for analog i

✍ Gielen, G.G.E.; Walscharts, H.C.C.; Sansen, W.M.C. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 1021 KB