𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Santa Monica, CA, USA (2013.05.19-2013.05.22)] 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems - Inverting Martin Synthesis for Verification

✍ Scribed by Longfield, Stephen James; Manohar, Rajit

Book ID: 121085458
Publisher: IEEE
Year: 2013
Weight: 214 KB
Category: Article
ISBN: 1467359564
DOI: 10.1109/ASYNC.2013.10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 19th IEEE International Sympo

[IEEE 2013 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Santa Monica, CA, USA (2013.05.19-2013.05.22)] 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems - cellTK: Automated Layout for Asynchronous Circuits with Nonstandard Cells

✍ Karmazin, Robert; Otero, Carlos Tadeo Ortega; Manohar, Rajit 📂 Article 📅 2013 🏛 IEEE ⚖ 516 KB

[IEEE 2013 19th IEEE International Sympo

[IEEE 2013 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Santa Monica, CA, USA (2013.05.19-2013.05.22)] 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems - Classifying Virtual Channel Access Control Schemes for Asynchronous NoCs

✍ Najvirt, Robert; Naqvi, Syed Rameez; Steininger, Andreas 📂 Article 📅 2013 🏛 IEEE ⚖ 619 KB

[IEEE 2013 19th IEEE International Sympo

[IEEE 2013 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Santa Monica, CA, USA (2013.05.19-2013.05.22)] 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems - An SET Tolerant Tree Arbiter Cell

✍ Naqvi, Syed Rameez; Steininger, Andreas; Lechner, Jakob 📂 Article 📅 2013 🏛 IEEE ⚖ 586 KB

[IEEE 2013 19th IEEE International Sympo

[IEEE 2013 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Santa Monica, CA, USA (2013.05.19-2013.05.22)] 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems - Deriving Performance Bounds for Conditional Asynchronous Circuits Using Linear Programing

✍ Najibi, Mehrdad; Beerel, Peter A. 📂 Article 📅 2013 🏛 IEEE ⚖ 403 KB

[IEEE 2013 19th IEEE International Sympo

[IEEE 2013 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Santa Monica, CA, USA (2013.05.19-2013.05.22)] 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems - Modular Redundancy in a GALS System Using Asynchronous Recovery Links

✍ Lechner, Jakob; Veeravalli, Varadan Savulimedu 📂 Article 📅 2013 🏛 IEEE ⚖ 677 KB

[IEEE 2013 19th IEEE International Sympo

[IEEE 2013 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Santa Monica, CA, USA (2013.05.19-2013.05.22)] 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems - Statistical Static Timing Analysis of Conditional Asynchronous Circuits Using Model-Based Simulation

✍ Yahya, Eslam; Fesquet, Laurent; Ismail, Yehea; Renaudin, Marc 📂 Article 📅 2013 🏛 IEEE ⚖ 344 KB