✦ LIBER ✦

Timing verification of sequential dynamic circuits

✍ Scribed by Van Campenhout, D.; Mudge, T.; Sakallh, K.A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Timing verification of dynamic circuits

✍ Venkat, K.; Liang Chen; Ichiang Lin; Mistry, P.; Madhani, P. 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 394 KB

Verification of Tempura specification of

✍ Hira, M.; Sarkar, D. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 585 KB

Statistical timing verification for tran

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

Signal propagation timing check system i

✍ Yatsuka Nakamura; Takaya Nishiyama; Yasushi Fuwa 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 862 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