najaeda / naja-verilog
A standalone structural (gate-level) verilog parser
☆34Updated 4 months ago
Alternatives and similar repositories for naja-verilog:
Users that are interested in naja-verilog are comparing it to the libraries listed below
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆40Updated last year
- ☆55Updated 2 years ago
- Library of open source Process Design Kits (PDKs)☆37Updated this week
- A Standalone Structural Verilog Parser☆89Updated 2 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆30Updated last year
- Tools for working with circuits as graphs in python☆113Updated last year
- Structural Netlist API (and more) for EDA post synthesis flow development☆93Updated this week
- A tool to generate optimized hardware files for univariate functions.☆27Updated 11 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 10 months ago
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆31Updated last month
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- Equivalence checking with Yosys☆40Updated 2 weeks ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆14Updated 8 years ago
- An automatic clock gating utility☆45Updated 8 months ago
- Workshop on Open-Source EDA Technology (WOSET)☆49Updated 4 months ago
- A tool for synthesizing Verilog programs☆75Updated this week
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Logic synthesis and ABC based optimization☆49Updated 2 weeks ago
- ☆43Updated 5 years ago
- OpenDesign Flow Database☆16Updated 6 years ago
- ☆31Updated 2 months ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- SystemVerilog frontend for Yosys☆81Updated last week
- 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
- ☆34Updated last week
- A GPU acceleration flow for RTL simulation with batch stimulus☆106Updated 11 months ago
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆21Updated this week
- A SystemVerilog source file pickler.☆56Updated 5 months ago
- Open source RTL simulation acceleration on commodity hardware☆25Updated last year