mohamed / fsm2sv
SystemVerilog FSM generator
☆24Updated 4 months ago
Related projects: ⓘ
- ☆35Updated 2 years ago
- Platform Level Interrupt Controller☆34Updated 4 months ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 2 months ago
- Sphinx Extension which generates various types of diagrams from Verilog code.☆52Updated 11 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆38Updated last year
- YosysHQ SVA AXI Properties☆29Updated last year
- Cross EDA Abstraction and Automation☆33Updated last week
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆34Updated last year
- A lightweight core for the CV32E40 implementing the RISC-V vector extension specification. (v0.8)☆29Updated 3 years ago
- Constrained RAndom Verification Enviroment (CRAVE)☆14Updated 9 months ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated 6 months ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Automatic SystemVerilog linting in github actions with the help of Verible☆24Updated 2 months ago
- An open source, parameterized SystemVerilog digital hardware IP library☆21Updated 3 months ago
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆59Updated last week
- Open Source PHY v2☆23Updated 4 months ago
- ChipScoPy (ChipScope Python API) is an open source Python API to the various ChipScope services provided by the TCF-based (Target Communi…☆45Updated 3 months ago
- SystemVerilog Linter based on pyslang☆19Updated 6 months ago
- Minimal SKY130 example with self-checking LVS, DRC, and PEX☆23Updated 3 years ago
- ☆30Updated 11 months ago
- IP-core package generator for AXI4/Avalon☆21Updated 5 years ago
- ☆28Updated last week
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- ☆8Updated 10 months ago
- Public repository for PySysC, (From SC Common Practices Subgroup)☆48Updated 8 months ago
- Open FPGA Modules☆22Updated last week
- An automatic clock gating utility☆40Updated 2 months ago
- ☆25Updated last year
- Wavious DDR (WDDR) Physical interface (PHY) Software☆17Updated 2 years ago
- slang-based frontend for Yosys☆28Updated this week