msoeken / alice
C++ command shell library
☆51Updated 6 months ago
Alternatives and similar repositories for alice:
Users that are interested in alice are comparing it to the libraries listed below
- netlistDB - Intermediate format for digital hardware representation with graph database API☆30Updated 4 years ago
- An advanced header-only exact synthesis library☆25Updated 2 years ago
- C++ truth table library☆52Updated last year
- C++ header-only reasoning library☆13Updated 8 months ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆35Updated 9 months ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- Benchmarks for Yosys development☆23Updated 5 years ago
- ☆22Updated 2 years ago
- C++17 implementation of an AST for Verilog code generation☆24Updated last year
- Parsing library for BLIF netlists☆18Updated 4 months ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆14Updated 8 years ago
- The PE for the second generation CGRA (garnet).☆17Updated last week
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- C++ header-only exact synthesis library☆16Updated 2 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Updated 7 years ago
- IRSIM switch-level simulator for digital circuits☆32Updated 11 months ago
- demo on simple channel router☆12Updated 6 years ago
- IO and Pin Placer for Floorplan-Placement Subflow☆22Updated 4 years ago
- A circuit toolkit☆99Updated 5 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- A simple C++ CMake project to jump-start development of SystemC models and systems☆25Updated 4 months ago
- ☆20Updated 4 years ago
- A Verilog Synthesis Regression Test☆37Updated last year
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- Java library for parsing and manipulating graph representations of gate-level Verilog netlists☆13Updated 8 years ago
- Welcome to Birds-of-a-Feather: Open-Source-Academic-EDA-Software !☆12Updated 5 years ago
- A skeleton EDA App in C++, featuring design data parsers (using Boost.Spirit), a basic GUI with Qt, a Tcl shell (with non-polling integra…☆39Updated 3 months ago
- ☆11Updated 5 years ago
- UCSD Sizer for leakage/dynamic power recovery, timing recovery☆18Updated 6 years ago