Differences

This shows you the differences between two versions of the page.

--- summer2022:references [2022/06/21 20:41] – rajit
+++ summer2022:references [2022/06/21 20:55] (current) – [Links and Joints Methodology] rajit
@@ Line 1: / Line 1: @@
 ====== ASYNC 2022 Summer School: References ======
-===== Links and Joints =====
+===== Links and joints methodology =====
-* Ebele Esimai and Marly Roncken, Flexible Active-Passive and Push-Pull Protocols, IEEE Embedded Systems Letters (ESL), 2022.
+   * Ebele Esimai and Marly Roncken, Flexible Active-Passive and Push-Pull Protocols, IEEE Embedded Systems Letters (ESL), 2022.
-* Marly Roncken and Ivan Sutherland, Design and test of high-speed asynchronous circuits, Jia Di and Scott C. Smith (Eds.): Asynchronous Circuit Applications, Chapter 7,  The Institute of Engineering and Technology (IET), London, UK, pages 113-171, 2020.
+   * Marly Roncken and Ivan Sutherland, Design and test of high-speed asynchronous circuits, Jia Di and Scott C. Smith (Eds.): Asynchronous Circuit Applications, Chapter 7,  The Institute of Engineering and Technology (IET), London, UK, pages 113-171, 2020.
-* Marly Roncken, Ivan Sutherland, Chris Chen, Yong Hei, Warren Hunt Jr., and Cuong Chau,
+   * Marly Roncken, Ivan Sutherland, Chris Chen, Yong Hei, Warren Hunt Jr., and Cuong Chau,  with Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, and Hong Chen, How to Think about Self-Timed Systems, In Proc. Asilomar Conference on Signals, Systems, and Computers, pages 1597-1604, 2017.
-    with Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, and Hong Chen, How to Think about Self-Timed Systems, In Proc. Asilomar Conference on Signals, Systems, and Computers, pages 1597-1604, 2017.
+   * Marly Roncken, Swetha Mettala Gilla, Hoon Park, Navaneeth Jamadagni,  Chris Cowan, and Ivan Sutherland,  Naturalized Communication and Testing, In Proc. IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC),  pages 77-84, 2015.
+   * Cuong Chau, Warren Hunt Jr., Marly Roncken, and Ivan Sutherland,  A Framework for Asynchronous Circuit Modeling and Verification in ACL2, In O. Strichman and R. Tzoref-Brill (Eds.), Proc. Haifa Verification Conference (HVC),  Springer International Publishing, LNCS 10629, pages 3-18, 2017.
-Marly Roncken, Swetha Mettala Gilla, Hoon Park, Navaneeth Jamadagni,
+===== Circuit Families =====
-    Chris Cowan, and Ivan Sutherland,
-    Naturalized Communication and Testing,
-    In Proc. IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC),
-    pages 77-84, 2015.
-Ad Peeters, Frank te Beest, Mark de Wit, and Willem Mallon,
+   * Ad Peeters, Frank te Beest, Mark de Wit, and Willem Mallon,  Click Elements: An Implementation Style for  Data-Driven Compilation,  In Proc. IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pages 3-14, 2010.
-    Click Elements: An Implementation Style for Data-Driven Compilation,
+   * Ivan Sutherland and Scott Fairbanks,  GasP: A Minimal FIFO Control, In Proc. IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC),  pages 46-53, 2001.
-    In Proc. IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC),
-    pages 3-14, 2010.
-Ivan Sutherland and Scott Fairbanks,
+===== Performance analysis / Canopy graphs  =====
-    GasP: A Minimal FIFO Control,
-    In Proc. IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC),
-    pages 46-53, 2001.
-Cuong Chau, Warren Hunt Jr., Marly Roncken, and Ivan Sutherland,
+   * Gennette Gill, Vishal Gupta, and Montek Singh,  Performance Estimation and Slack Matching for Pipelined Asynchronous Architectures with Choice, In Proc. IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pages 449-456, 2008.
-    A Framework for Asynchronous Circuit Modeling and Verification in ACL2,
+   * T. E. Williams, M. Horowitz, R. L. Alverson, and T. S. Yang,  A self-timed chip for division,  In Advanced Research in VLSI (ARVLSI), P. Losleben (Ed.), MIT Press, pages 75-95, 1987.
-    In O. Strichman and R. Tzoref-Brill (Eds.), Proc. Haifa Verification Conference (HVC),
-    Springer International Publishing, LNCS 10629, pages 3-18, 2017.
-Gennette Gill, Vishal Gupta, and Montek Singh,
-    Performance Estimation and Slack Matching for Pipelined Asynchronous Architectures with Choice,
-    In Proc. IEEE/ACM International Conference on Computer-Aided Design (ICCAD),
-    pages 449-456, 2008.
-T. E. Williams, M. Horowitz, R. L. Alverson, and T. S. Yang,
-    A self-timed chip for division,
-    In Advanced Research in VLSI (ARVLSI), P. Losleben (Ed.), MIT Press, pages 75-95, 1987.
 More at: https://arc.cecs.pdx.edu/publications