Yale Asynchronous VLSI and Architecture Group

All

35 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
•9•28•1•0•Updated May 27, 2025May 27, 2025
expropt
Public
C++
•
GNU General Public License v2.0
•2•1•0•0•Updated May 27, 2025May 27, 2025
actsim
Public
C++
•
GNU General Public License v2.0
•8•4•0•0•Updated May 27, 2025May 27, 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•110•0•1•Updated May 26, 2025May 26, 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
stdlib
Public
ACT standard library
Makefile
•
Apache License 2.0
•6•6•0•1•Updated Apr 30, 2025Apr 30, 2025
magic
Public
Magic VLSI Layout Tool
C
•
Other
•117•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
interact
Public
Command-line design environment for asynchronous logic
C++
•
GNU General Public License v2.0
•1•6•1•0•Updated Apr 21, 2025Apr 21, 2025
homebrew-tap
Public
Homebrew setup
Ruby
•0•1•0•0•Updated Apr 17, 2025Apr 17, 2025
layout
Public
C++
•
GNU Lesser General Public License v2.1
•2•0•0•0•Updated Apr 12, 2025Apr 12, 2025
TritonRoute-WXL
Public
C++
•
Other
•9•1•0•0•Updated Apr 3, 2025Apr 3, 2025
chp2prs
Public
Automated conversion from CHP to PRS using syntax-directed translation
eda logic-synthesis logic-design asynchronous-vlsi
C++
•
GNU General Public License v2.0
•6•7•4•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
utils
Public
Miscellaneous scripts/utilities to be used with the ACT flow
Python
•
Apache License 2.0
•1•0•0•1•Updated Mar 28, 2025Mar 28, 2025
Dali
Public
A gridded cell placer
C++
•
GNU General Public License v2.0
•4•5•0•0•Updated Mar 28, 2025Mar 28, 2025
xyce_build
Public
Shell
•0•0•0•0•Updated Mar 4, 2025Mar 4, 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
•632•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•29•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
PWRoute
Public
Power and ground routing
C++
•
GNU Lesser General Public License v2.1
•3•4•0•0•Updated Apr 2, 2023Apr 2, 2023
prs2fpga
Public
Translate production rules into Verilog for accelerated simulation on FPGAs
C++
•
GNU General Public License v2.0
•0•3•0•0•Updated Feb 10, 2023Feb 10, 2023