msoeken / alice
C++ command shell library
☆51Updated last month
Related projects ⓘ
Alternatives and complementary repositories for alice
- netlistDB - Intermediate format for digital hardware representation with graph database API☆29Updated 3 years ago
- C++ truth table library☆51Updated 7 months ago
- C++ header-only reasoning library☆11Updated 4 months ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆35Updated 4 months ago
- An advanced header-only exact synthesis library☆23Updated last year
- Collection of test cases for Yosys☆17Updated 2 years ago
- A circuit toolkit☆96Updated 4 years ago
- Parsing library for BLIF netlists☆18Updated 3 weeks ago
- C++17 implementation of an AST for Verilog code generation☆24Updated last year
- IRSIM switch-level simulator for digital circuits☆30Updated 6 months ago
- Benchmarks for Yosys development☆22Updated 4 years ago
- ☆22Updated last year
- ☆11Updated 4 years ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Welcome to Birds-of-a-Feather: Open-Source-Academic-EDA-Software !☆11Updated 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…☆38Updated last week
- The PE for the second generation CGRA (garnet).☆16Updated 2 months ago
- C++ header-only exact synthesis library☆15Updated last year
- Qrouter detail router for digital ASIC designs☆56Updated last month
- A Verilog Synthesis Regression Test☆34Updated 8 months ago
- IO and Pin Placer for Floorplan-Placement Subflow☆23Updated 4 years ago
- ☆52Updated 2 years ago
- A simple C++ CMake project to jump-start development of SystemC models and systems☆21Updated last week
- firrtlator is a FIRRTL C++ library☆21Updated 7 years ago
- Simplify VLSI (timing, power, noise, correlation, reliability) modeling and analysis with Characterization Description Format☆12Updated 4 years ago
- Tatum: A Fast, Flexible Static Timing Analysis (STA) Engine for Digital Circuits☆55Updated 5 months ago
- EDA wiki☆50Updated last year
- Macro placement tool for OpenROAD flow☆21Updated 4 years ago
- Basic VCD comparison tool, for Verilator testing☆19Updated 7 months ago
- ☆39Updated 4 years ago