𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) - Eilat, Israel (2-6 April 2000)] Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586) - Formal verification of safety properties in timed circuits

✍ Scribed by Pena, M.A.; Cortadella, J.; Kondratyev, A.; Pastor, E.

Book ID: 126646333
Publisher: IEEE Comput. Soc
Year: 2000
Weight: 193 KB
Category: Article
ISBN-13: 9780769505862
DOI: 10.1109/ASYNC.2000.836774

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Sixth International Sy

[IEEE Comput. Soc Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) - Eilat, Israel (2-6 April 2000)] Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586) - Asynchronous design using commercial HDL synthesis tools

✍ Ligthart, M.; Fant, K.; Smith, R.; Taubin, A.; Kondratyev, A. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 122 KB

[IEEE Comput. Soc Sixth International Sy

[IEEE Comput. Soc Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) - Eilat, Israel (2-6 April 2000)] Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586) - High-throughput asynchronous pipelines for fine-grain dynamic datapaths

✍ Singh, M.; Nowick, S.M. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 364 KB

[IEEE Comput. Soc Sixth International Sy

[IEEE Comput. Soc Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) - Eilat, Israel (2-6 April 2000)] Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586) - Automatic process-oriented control circuit generation for asynchronous high-level synthesis

✍ Euiseok Eim, ; Jeong-Gun Lee, ; Dong-Ik Lee, 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 285 KB

[IEEE Comput. Soc Sixth International Sy

[IEEE Comput. Soc Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) - Eilat, Israel (2-6 April 2000)] Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586) - Automated synthesis of micro-pipelines from behavioral Verilog HDL

✍ Blunno, I.; Lavagno, L. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 196 KB

[IEEE Comput. Soc. Press Third Internati

[IEEE Comput. Soc. Press Third International Symposium on Advanced Research in Asynchronous Circuits and Systems - Eindhoven, Netherlands (7-10 April 1997)] Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems - On the realisation of delay-insensitive asynchronous circuits with CMOS ternary logic

✍ Mariani, R.; Roncella, R.; Saletti, R.; Terreni, P. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 706 KB

[IEEE Comput. Soc Fourth International S

[IEEE Comput. Soc Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems - San Deigo, CA, USA (30 March-2 April 1998)] Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems - An asynchronous low-power 80C51 microcontroller

✍ van Gageldonk, H.; van Berkel, K.; Peeters, A.; Baumann, D.; Gloor, D.; Stegmann 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 382 KB