asyncvlsi / act Star 93 Code Issues Pull requests ACT hardware description language and core tools. language eda circuit-simulator cad dataflow chp dataflow-programming prs hdl vlsi hardware-description-language production-rules design-automation asynchronous-circuits vlsi-cad asynchronous-vlsi communicating-hardware-processes Updated May 31, 2024 C++
ucdrstdenis / cdsAsync Star 25 Code Issues Pull requests cdsAsync: An Asynchronous VLSI Toolset & Schematic Library asynchronous skill ocean schematic verilog vlsi cadence ic-design virtuoso asynchronous-circuits qdi schematic-library automated-measurement pvt-sweep cell-library Updated Aug 10, 2019 Verilog
asyncvlsi / actflow Star 16 Code Issues Pull requests Top-level repository for the ACT EDA flow asynchronous eda cad vlsi act asynchronous-circuits asynchronous-vlsi self-timed Updated May 31, 2024 Shell
tuura / sync-models Star 5 Code Issues Pull requests Tool for creating synchronous models and behavioral specifications for asynchronous circuits verilog model-checking digital-logic formal-verification asynchronous-circuits Updated Jun 19, 2018 Verilog