𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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 - Using metrics for proof rules for recursively defined delay-insensitive specifications

✍ Scribed by Mallon, W.C.; Udding, J.T.

Book ID: 127089790
Publisher: IEEE Comput. Soc. Press
Year: 1997
Tongue: English
Weight: 689 KB
Category: Article
ISBN-13: 9780818679223
DOI: 10.1109/async.1997.587173

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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. 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 - Action systems in pipelined processor design

✍ Plosila, J.; Sere, K. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press ⚖ 884 KB

[IEEE Comput. Soc. Press Second Internat

[IEEE Comput. Soc. Press Second International Symposium on Advanced Research in Asynchronous Circuits and Systems - Fukushima, Japan (18-21 March 1996)] Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems - Control resynthesis for control-dominated asynchronous designs

✍ Kolks, T.; Vercauteren, S.; Lin, B. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 909 KB

[IEEE Comput. Soc. Press Second Internat

[IEEE Comput. Soc. Press Second International Symposium on Advanced Research in Asynchronous Circuits and Systems - Fukushima, Japan (18-21 March 1996)] Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems - Dynamic hazards and speed independent delay model

✍ Tabrizi, N.; Liebelt, M.J.; Eshraghian, K. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 886 KB

[IEEE Comput. Soc. Press Second Internat

[IEEE Comput. Soc. Press Second International Symposium on Advanced Research in Asynchronous Circuits and Systems - Fukushima, Japan (18-21 March 1996)] Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems - A system for asynchronous high-speed chip to chip communication

✍ Roine, P.T. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 897 KB

[IEEE Comput. Soc. Press 1994 IEEE Sympo

[IEEE Comput. Soc. Press 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems - Salt Lake City, UT, USA (3-5 Nov. 1994)] Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems - Designing asynchronous circuits from behavioural specifications with internal conflicts

✍ Cortadella, J.; Lavagno, L.; Vanbekbergen, P.; Yakovlev, A. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 906 KB