https://avlsi.csl.yale.edu/act/ 2026-10-30T13:11:41+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-10-19T16:18:47+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=tools:act2dot&rev=1792426727&do=diff Visualize ACT Design It can be helpful to visualize the connectivity between instances in an ACT design. The tool act2dot can be used to visualize the connectivity at the CHP-level of abstraction (default), or the PRS level of abstraction. The usage is similar to text/html 2026-10-19T15:01:48+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=tools:actsim&rev=1792422108&do=diff Actsim: an ACT simulator To run actsim, you need to select the ACT file to simulate and the top-level process for your design: % actsim file.act process actsim> A simple example The following ACT file is a CHP example that sends three integers on an output channel, and connects that process to one that simply receives an integer and displays it to the screen. text/html 2026-10-01T10:59:51+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=config:expropt&rev=1790852391&do=diff Expression Synthesis Configuration The synthesis section of the configuration file specifies options for circuit synthesis in general. In particular, it has options for the expression optimizer (expropt), which is the interface between the ACT tool-suite and external logic synthesis tools, such as ABC. We use these external tools to perform synthesis of expressions into combinational logic by emitting Verilog files which correspond to a logical expression, running the synthesis tool to get a m… text/html 2026-07-13T11:48:51+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3Aday2.tar.gz&ns=summer2026&rev=1783943331&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/gz.svg" alt="day2.tar.gz" loading="lazy" width="500" height="500" /> text/html 2026-07-13T11:48:11+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3Aday1.tar.gz&ns=summer2026&rev=1783943291&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/gz.svg" alt="day1.tar.gz" loading="lazy" width="500" height="500" /> 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-03T14:16:41+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3Amontek-async2026-mousetrap.pdf&ns=summer2026&rev=1780496201&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/pdf.svg" alt="montek-async2026-mousetrap.pdf" loading="lazy" width="500" height="500" /> text/html 2026-06-03T09:17:40+00:00 rajit (rajit@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?image=summer2026%3Aasync-backend.pdf&ns=summer2026&rev=1780478260&tab_details=history&media_do=diff&do=media <img src="https://avlsi.csl.yale.edu/act/lib/images/fileicons/svg/pdf.svg" alt="async-backend.pdf" loading="lazy" width="500" height="500" />