𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Formal verification of a snoop-based cache coherence protocol using symbolic model checking

✍ Scribed by Srinivasan, S.; Chhabra, P.S.; Jaini, P.K.; Aziz, A.; John, L.

Book ID: 115513619
Publisher: IEEE
Year: 1999
Tongue: English
Weight: 54 KB
Edition: 1999
Volume: 0
Category: Article
ISBN-13: 9780769500133
DOI: 10.1109/icvd.1999.745162

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings Twelfth International

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Multi-valued logic synthesis

✍ Brayton, R.K.; Khatri, S.P. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 136 KB

[IEEE Proceedings Twelfth International

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Satisfiability-based detailed FPGA routing

✍ Gi-Joon Nam, ; Sakallah, K.A.; Rutenbar, R.A. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 60 KB

[IEEE Proceedings Twelfth International

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Empirical computation of reject ratio in VLSI testing

✍ Mehta, S.K.; Seth, S.C. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 205 KB

[IEEE Proceedings Twelfth International

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Performance driven synthesis for pass-transistor logic

✍ Tai-Hung Liu, ; Ganai, M.K.; Aziz, A.; Burns, J.L. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 107 KB

[IEEE Proceedings Twelfth International

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - POWERTEST: a tool for energy conscious weighted random pattern testing

✍ Xiaodong Zhang, ; Roy, K.; Bhawmik, S. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 210 KB

[IEEE Proceedings Twelfth International

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Spec-based repeater insertion and wire sizing for on-chip interconnect

✍ Menezes, N.; Chung-Ping Chen, 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 78 KB