Differences

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

--- summer2022:references [2022/06/21 16:43]
rajit
+++ summer2022:references [2022/06/21 16:55] (current)
rajit [Links and Joints Methodology]
@@ 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.
@@ Line 7: / Line 7: @@
    * 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.
    * 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.
+===== Circuit Families =====
    * 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.
    * 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.
-   * 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.
+===== Performance analysis / Canopy graphs  =====
    * 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.
+   * 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