dreylago / logicminLinks
Logic Minimization in Python
☆24Updated last year
Alternatives and similar repositories for logicmin
Users that are interested in logicmin are comparing it to the libraries listed below
Sorting:
- Collection of test cases for Yosys☆18Updated 3 years ago
- Integer Multiplier Generator for Verilog☆23Updated last year
- Hardware designs for fault detection☆17Updated 5 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 8 months ago
- A library and command-line tool for querying a Verilog netlist.☆27Updated 2 years ago
- Equivalence checking with Yosys☆43Updated last month
- Java library for parsing and manipulating graph representations of gate-level Verilog netlists☆13Updated 8 years ago
- An advanced header-only exact synthesis library☆26Updated 2 years ago
- ☆13Updated 4 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 4 years ago
- IRSIM switch-level simulator for digital circuits☆34Updated last month
- Provides a packaged collection of open source EDA tools☆12Updated 6 years ago
- A list of VHDL codes implementing cryptographic algorithms☆27Updated 3 years ago
- SMT Attack☆21Updated 4 years ago
- Supplemental technology files for ASAP7 PDK with Synopsys design flow☆13Updated 2 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- ☆54Updated last year
- Automated Generation of Masked Hardware☆18Updated last year
- Libre Silicon Compiler☆22Updated 4 years ago
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- CoreIR Symbolic Analyzer☆73Updated 4 years ago
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated 2 weeks ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- BAG framework☆40Updated 10 months ago
- Mutation Cover with Yosys (MCY)☆83Updated last month
- ☆18Updated 4 years ago
- A Verilog Synthesis Regression Test☆37Updated last year
- Coriolis VLSI EDA Tool (LIP6)☆67Updated 2 weeks ago
- A RISC-V RV32 model ready for SMT program synthesis.☆11Updated 3 years ago
- PyCaliper is Python-based tooling infrastructure that allows the verification and synthesis of specifications (properties) for RTL (e.g.,…☆22Updated 4 months ago