XedaHQ / xeda
Cross EDA Abstraction and Automation
☆36Updated last week
Alternatives and similar repositories for xeda:
Users that are interested in xeda are comparing it to the libraries listed below
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated 11 months ago
- ☆31Updated last year
- SystemVerilog FSM generator☆28Updated 9 months ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- Python/Simulator integration using procedure calls☆9Updated 4 years ago
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated 2 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- Extended and external tests for Verilator testing☆16Updated this week
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 7 months ago
- A Python package for generating HDL wrappers and top modules for HDL sources☆30Updated this week
- An automatic clock gating utility☆44Updated 7 months ago
- SystemVerilog Linter based on pyslang☆29Updated last month
- Python interface to FPGA interchange format☆41Updated 2 years ago
- Sphinx domain to allow integration of Verilog / SystemVerilog documentation into Sphinx.☆23Updated 4 years ago
- ☆31Updated last month
- VHDLproc is a VHDL preprocessor☆24Updated 2 years ago
- IP-core package generator for AXI4/Avalon☆22Updated 6 years ago
- Public repository for PySysC, (From SC Common Practices Subgroup)☆51Updated last year
- Proposal to define an XML-based logging format for outputs from EDA tools and logging libraries.☆14Updated this week
- ☆20Updated 3 years ago
- Open Source PHY v2☆25Updated 10 months ago
- VHDL dependency analyzer☆23Updated 4 years ago
- Platform Level Interrupt Controller☆36Updated 9 months ago
- ☆36Updated 2 years ago
- Minimal SKY130 example with self-checking LVS, DRC, and PEX☆23Updated 4 years ago
- A VHDL Core Library.☆17Updated 7 years ago
- Examples and design pattern for VHDL verification☆15Updated 8 years ago