Yale Asynchronous VLSI and Architecture Group

All

36 repositories

actflow
Public
Top-level repository for the ACT EDA flow
asynchronous eda cad vlsi act asynchronous-circuits asynchronous-vlsi self-timed
Shell
•
GNU General Public License v2.0
•10•32•1•0•Updated Oct 13, 2025Oct 13, 2025
actsim
Public
C++
•
GNU General Public License v2.0
•8•4•0•0•Updated Oct 13, 2025Oct 13, 2025
act
Public
ACT hardware description language and core tools.
eda circuit-simulator cad dataflow chp dataflow-programming prs hdl vlsi production-rules
C++
•
GNU General Public License v2.0
•27•120•0•1•Updated Oct 13, 2025Oct 13, 2025
chp2prs
Public
Automated conversion from CHP to PRS
eda logic-synthesis logic-design asynchronous-vlsi
C++
•
GNU General Public License v2.0
•7•7•4•0•Updated Oct 9, 2025Oct 9, 2025
expropt
Public
C++
•
GNU General Public License v2.0
•2•1•0•0•Updated Oct 8, 2025Oct 8, 2025
interact
Public
Command-line design environment for asynchronous logic
C++
•
GNU General Public License v2.0
•1•6•1•0•Updated Oct 6, 2025Oct 6, 2025
fpga_proto
Public
ACT FPGA prototyping
GNU General Public License v2.0
•0•0•0•0•Updated Oct 3, 2025Oct 3, 2025
prs2fpga
Public
Translate production rules into Verilog for accelerated simulation on FPGAs
C++
•
GNU General Public License v2.0
•0•3•0•0•Updated Oct 3, 2025Oct 3, 2025
layout
Public
C++
•
GNU Lesser General Public License v2.1
•2•0•0•0•Updated Sep 23, 2025Sep 23, 2025
stdlib
Public
ACT standard library
Makefile
•
Apache License 2.0
•6•7•0•1•Updated Sep 16, 2025Sep 16, 2025
utils
Public
Miscellaneous scripts/utilities to be used with the ACT flow
Python
•
Apache License 2.0
•1•0•0•1•Updated Aug 26, 2025Aug 26, 2025
xyce_build
Public
Shell
•0•0•0•0•Updated Jul 30, 2025Jul 30, 2025
act-ls
Public
Language Server for the ACT Language
TypeScript
•
GNU General Public License v3.0
•0•1•0•0•Updated May 19, 2025May 19, 2025
act-lang
Public
Syntax Highlighting for ACT
GNU General Public License v3.0
•0•1•0•0•Updated May 19, 2025May 19, 2025
dflowmap
Public
Convert ACT dataflow to simulatable ACT CHP
C++
•
GNU General Public License v2.0
•2•2•1•0•Updated May 19, 2025May 19, 2025
magic
Public
Magic VLSI Layout Tool
C
•
Other
•125•0•0•0•Updated Apr 22, 2025Apr 22, 2025
irsim
Public
IRSIM switch-level simulator for digital circuits
C
•
GNU General Public License v2.0
•6•0•0•0•Updated Apr 22, 2025Apr 22, 2025
homebrew-tap
Public
Homebrew setup
Ruby
•0•1•0•0•Updated Apr 17, 2025Apr 17, 2025
TritonRoute-WXL
Public
C++
•
Other
•11•1•0•0•Updated Apr 3, 2025Apr 3, 2025
phyDB
Public
Library that holds the physical database
C++
•
GNU Lesser General Public License v2.1
•4•6•0•0•Updated Apr 2, 2025Apr 2, 2025
Dali
Public
A gridded cell placer
C++
•
GNU General Public License v2.0
•4•5•0•0•Updated Mar 28, 2025Mar 28, 2025
xcell
Public
Cell library characterizer
C++
•
GNU General Public License v2.0
•2•3•0•0•Updated Dec 18, 2024Dec 18, 2024
abc
Public
ABC: System for Sequential Logic Synthesis and Formal Verification
C
•
Other
•703•0•0•0•Updated Nov 21, 2024Nov 21, 2024
BiPart
Public
Parallel hypergraph partitioner
C++
•
GNU Lesser General Public License v2.1
•1•1•0•0•Updated Oct 29, 2024Oct 29, 2024
tracelib
Public
Trace file library interface for creating simulation traces in a range of formats
C
•
GNU Lesser General Public License v2.1
•0•1•0•0•Updated Aug 20, 2024Aug 20, 2024
annotate
Public
C++
•
GNU Lesser General Public License v2.1
•0•0•0•0•Updated Aug 12, 2024Aug 12, 2024
sky130l
Public
ACT configuration files for Skywater 130nm using teaching-friendly lambda rules
Makefile
•
Apache License 2.0
•0•0•0•0•Updated Mar 31, 2024Mar 31, 2024
actpass
Public
Example template for a dynamically loaded analysis/transformation pass for ACT
C
•
Apache License 2.0
•2•1•0•0•Updated Nov 14, 2023Nov 14, 2023
SPRoute
Public
A parallel global router using the Galois framework
C++
•
Other
•4•30•0•0•Updated Jul 5, 2023Jul 5, 2023
ocaml_act
Public
OCaml front-end for ACT
OCaml
•
GNU General Public License v3.0
•1•0•0•0•Updated May 1, 2023May 1, 2023