✦ LIBER ✦

Timing verification of dynamic circuits

✍ Scribed by Venkat, K.; Liang Chen; Ichiang Lin; Mistry, P.; Madhani, P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Timing verification of sequential dynami

✍ Van Campenhout, D.; Mudge, T.; Sakallh, K.A. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 352 KB

Statistical timing verification for tran

✍ Ruiming Chen; Hai Zhou 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 265 KB

Timed circuit verification using TEL str

✍ Belluomini, W.; Myers, C.J.; Hofstee, H.P. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 377 KB

Verification of Asynchronous Circuits us

✍ Marius Bozga; Hou Jianmin; Oded Maler; Sergio Yovine 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Verification of timed circuits with fail

✍ Hao Zheng; Myers, C.J.; Walter, D.; Little, S.; Yoneda, T. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 265 KB

Modular verification of timed circuits u

✍ Hao Zheng; Mercer, E.; Myers, C. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 928 KB