✦ LIBER ✦

Verification of speed-independent data-path circuits

✍ Scribed by Weih, D.T.; Greenstreet, M.R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic decomposition of speed-independent

✍ Kondratyev, A.; Cortadella, J.; Kishinevsky, M.; Lavagno, L.; Yakovlev, A. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 437 KB

Data independent verification of crypto-

✍ A.W. Roscoe; Philippa Broadfoot; Gavin Lowe 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 29 KB

Checking Combinational Equivalence of Sp

✍ Peter A. Beerel; Jerry R. Burch; Teresa H. Meng 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 356 KB

Hazard-free implementation of speed-inde

✍ Kondratyev, A.; Kishinevsky, M.; Yakovlev, A. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 594 KB

Structural methods for the synthesis of

✍ Pastor, E.; Cortadella, J.; Kondratyev, A.; Roig, O. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 744 KB

Space-continuous time-semicontinuous the

✍ Izumi Kimura 📂 Article 📅 1973 🏛 Elsevier Science ⚖ 805 KB