Yale Asynchronous VLSI and Architecture Group
Research group led by Rajit Manohar working on asynchronous digital circuits and systems
Pinned Repositories
act
ACT hardware description language and core tools.
actflow
Top-level repository for the ACT EDA flow
actpass
Example template for a dynamically loaded analysis/transformation pass for ACT
AMC
AMC: Asynchronous Memory Compiler
chp2prs
Automated conversion from CHP to PRS using syntax-directed translation
interact
Command-line design environment for asynchronous logic
lefdef
Mirror of the Si2 LEF/DEF parser (v5.8)
SPRoute
A parallel global router using the Galois framework
stdlib
ACT standard library
summer2022
Summer School Week 1 & 2 repo
Yale Asynchronous VLSI and Architecture Group's Repositories
asyncvlsi/act
ACT hardware description language and core tools.
asyncvlsi/SPRoute
A parallel global router using the Galois framework
asyncvlsi/actflow
Top-level repository for the ACT EDA flow
asyncvlsi/summer2022
Summer School Week 1 & 2 repo
asyncvlsi/chp2prs
Automated conversion from CHP to PRS using syntax-directed translation
asyncvlsi/interact
Command-line design environment for asynchronous logic
asyncvlsi/stdlib
ACT standard library
asyncvlsi/phyDB
Library that holds the physical database
asyncvlsi/actsim
asyncvlsi/Dali
A gridded cell placer
asyncvlsi/PWRoute
Power and ground routing
asyncvlsi/xcell
Cell library characterizer
asyncvlsi/prs2fpga
Translate production rules into Verilog for accelerated simulation on FPGAs
asyncvlsi/dflowmap
Convert ACT dataflow to simulatable ACT CHP
asyncvlsi/tracelib
Trace file library interface for creating simulation traces in a range of formats
asyncvlsi/TritonRoute-WXL
asyncvlsi/Xyce
The Xyce™ Parallel Electronic Simulator
asyncvlsi/actpass
Example template for a dynamically loaded analysis/transformation pass for ACT
asyncvlsi/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
asyncvlsi/annotate
asyncvlsi/BiPart
Parallel hypergraph partitioner
asyncvlsi/dflow2dot
Visualize an ACT dataflow graph
asyncvlsi/expropt
asyncvlsi/irsim
IRSIM switch-level simulator for digital circuits
asyncvlsi/layout
asyncvlsi/magic
Magic VLSI Layout Tool
asyncvlsi/ocaml_act
OCaml front-end for ACT
asyncvlsi/sky130l
ACT configuration files for Skywater 130nm using teaching-friendly lambda rules
asyncvlsi/utils
Miscellaneous scripts/utilities to be used with the ACT flow
asyncvlsi/xyce_build