✦ LIBER ✦

Verification of Tempura specification of sequential circuits

✍ Scribed by Hira, M.; Sarkar, D.

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

On the formal specification and verifica

✍ Peter J. de Graaff 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 546 KB

Specification of synchronous sequential

✍ Tatjana Kapus 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 362 KB

Automatic verification of implementation

✍ Hoskote, Y.V.; Abraham, J.A.; Fussell, D.S.; Moondanos, J. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 322 KB

Modular specification and verification o

✍ Peter Herrmann; Heiko Krumm 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 714 KB

Specification and Verification of Switch

✍ Kajiwara, M.; Ichikawa, H.; Itoh, M.; Yoshida, Y. 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 715 KB