https://avlsi.csl.yale.edu/act/ 2026-07-11T08:06:00+00:00 https://avlsi.csl.yale.edu/act/ https://avlsi.csl.yale.edu/act/lib/exe/fetch.php?media=wiki:logo.png text/html 2026-07-10T18:46:32+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=asic:timing:xcell:start&rev=1783709192&do=diff xcell: A cell library characterizer xcell is a cell library characterizer. It takes in a configuration file (xcell.conf) and an ACT file that is used to provide the list of cells to be characterized, and runs a large number of SPICE simulations to generate timing and energy tables in the text/html 2026-07-02T18:57:11+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=language:controlflow&rev=1783018631&do=diff Control flow Complex datapath elements are usually comprised of arrayed versions of simpler cells. Although arrays can be created directly using arrayed instantiations, ACT supports looping constructs which can be a convenient way to create arrayed structures. More complex structures such as trees can be easily created using recursive instantiations. text/html 2026-06-28T17:52:29+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=language:start&rev=1782669149&do=diff The ACT Language This document describes the language used by the Asynchronous Circuit Toolkit (ACT). * Introduction: A brief introduction to the circuit description language, including some simple examples. * Types * Basic types: The care and feeding of basic type definitions and arrays. text/html 2026-06-27T20:15:18+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=summer2026:start&rev=1782591318&do=diff ASYNC 2026 Summer School The 3rd edition of the ASYNC Summer school will be co-located directly before the conference (June 1-2 2026) as a hybrid event at DTU in Lyngby, Denmark. The goal of the school is to teach asynchronous chip design to students and practitioners interested in digital hardware design. Participants will learn how to design asynchronous circuits at the behavioral level, gate level, and physical design level using design automation tools. text/html 2026-06-27T20:07:47+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=language:langs:chp&rev=1782590867&do=diff The chp sublanguage The CHP sublanguage is an evolution of Dijkstra's guarded commands notation and Hoare's CSP. It is a programming notation augmented with send/receive primitives for communication and parallel composition. A chp program is specified in ACT as follows: text/html 2026-06-27T20:05:07+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=language:types2&rev=1782590707&do=diff User-defined types User-defined type can be used to create complex circuit structures. A new user-defined type name is introduced by using defproc, defcell, defchan, or deftype statements. All user-defined types have the same basic structure: * a type signature, that provides information about the interface to the type and the ports that are externally visible; and text/html 2026-06-25T17:58:13+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A14_customckts.mp4&ns=summer2026&rev=1782410293&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="14_customckts.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:53:17+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A13_petrinets.mp4&ns=summer2026&rev=1782409997&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="13_petrinets.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:35:18+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A12_asic2.mp4&ns=summer2026&rev=1782408918&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="12_asic2.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:26:54+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A11_asic1.mp4&ns=summer2026&rev=1782408414&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="11_asic1.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:21:10+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A10_timing.mp4&ns=summer2026&rev=1782408070&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="10_timing.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:19:24+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A08_nondet.mp4&ns=summer2026&rev=1782407964&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="08_nondet.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:19:04+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A07_chptogates.mp4&ns=summer2026&rev=1782407944&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="07_chptogates.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:18:45+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A06_dataflowcircuits.mp4&ns=summer2026&rev=1782407925&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="06_dataflowcircuits.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:18:27+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A05_gatelevel.mp4&ns=summer2026&rev=1782407907&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="05_gatelevel.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:18:12+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A04_handshake.mp4&ns=summer2026&rev=1782407892&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="04_handshake.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:17:19+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A03_dataflow.mp4&ns=summer2026&rev=1782407839&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="03_dataflow.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:17:01+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A02_messagepassing.mp4&ns=summer2026&rev=1782407821&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="02_messagepassing.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-25T17:16:43+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3A01_overview.mp4&ns=summer2026&rev=1782407803&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/mp4.svg" alt="01_overview.mp4" loading="lazy" width="500" height="500" /> text/html 2026-06-24T19:31:20+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=language:expressions&rev=1782329480&do=diff Expressions Expression syntax in ACT is similar to expressions in the C language. * Integer expressions: operators that are supported include +, -, *, /, and % for integer arithmetic operations, and &, |, and ~ for bit-wise logical operations between integers.