Lightelligence / rules_verilogLinks
Bazel build rules for compiling Verilog
☆21Updated last year
Alternatives and similar repositories for rules_verilog
Users that are interested in rules_verilog are comparing it to the libraries listed below
Sorting:
- Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (htt…☆148Updated this week
- ☆57Updated 3 years ago
- Bazel build rules for Verilator☆24Updated last year
- A Verilog Filelist parser in Rust☆11Updated 3 years ago
- A SystemVerilog language server based on the Slang library.☆68Updated this week
- ☆31Updated last week
- A SystemVerilog source file pickler.☆60Updated last year
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 5 years ago
- design and verification of asynchronous circuits☆41Updated last week
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 4 months ago
- Hardware generator debugger☆77Updated last year
- An automatic clock gating utility☆51Updated 7 months ago
- FPGA tool performance profiling☆103Updated last year
- Mutation Cover with Yosys (MCY)☆88Updated 2 weeks ago
- ☆38Updated 3 years ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Structural Netlist API (and more) for EDA post synthesis flow development☆120Updated this week
- Equivalence checking with Yosys☆51Updated 2 weeks ago
- ☆87Updated last month
- A collection of big designs to run post-synthesis simulations with yosys☆50Updated 10 years ago
- Building and deploying container images for open source electronic design automation (EDA)☆115Updated last year
- WAL enables programmable waveform analysis.☆161Updated 2 weeks ago
- Raptor end-to-end FPGA Compiler and GUI☆90Updated 11 months ago
- The specification for the FIRRTL language☆62Updated 3 weeks ago
- ☆104Updated 3 years ago
- Open Application-Specific Instruction Set processor tools (OpenASIP)☆167Updated last month
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.☆48Updated 10 months ago
- Infrastructure to drive Spike (RISC-V ISA Simulator) in cosim mode. Hammer provides a C++ and Python interface to interact with Spike.☆38Updated 3 months ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆116Updated 6 months ago