janestreet / hardcaml_of_verilogLinks
Convert Verilog to a Hardcaml design
☆17Updated last week
Alternatives and similar repositories for hardcaml_of_verilog
Users that are interested in hardcaml_of_verilog are comparing it to the libraries listed below
Sorting:
- Hardcaml Verification Tools☆12Updated last week
- Hardcaml Circuits☆21Updated last week
- ☆37Updated 3 years ago
- [Deprecated] Digital waveform viewer☆9Updated 6 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 8 years ago
- A hardcaml library to interface with arty boards☆15Updated 2 years ago
- HardCaml example designs☆18Updated 6 years ago
- Manythread RISC-V overlay for FPGA clusters☆38Updated 2 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆104Updated 3 weeks ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 8 years ago
- CHERI-RISC-V model written in Sail☆59Updated 2 months ago
- User-friendly explanation of Yosys options☆113Updated 3 years ago
- A simple digital waveform viewer with vi-like key bindings.☆139Updated 3 months ago
- Mutation Cover with Yosys (MCY)☆83Updated last month
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 2 years ago
- A place to share libraries and utilities that don't belong in the core bsc repo☆35Updated 2 months ago
- A language and toolset for implementing dataflow applications on FPGAs☆28Updated 6 years ago
- System on Chip toolkit for Amaranth HDL☆90Updated 7 months ago
- PicoRV☆44Updated 5 years ago
- Open-source FPGA research and prototyping framework.☆206Updated 9 months ago
- Fiber-based SystemVerilog Simulator.☆25Updated 2 years ago
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆92Updated 11 months ago
- Board definitions for Amaranth HDL☆117Updated 2 months ago
- A tiny POWER Open ISA soft processor written in Chisel☆108Updated 2 years ago
- Experimental flows using nextpnr for Xilinx devices☆238Updated 7 months ago
- Hardware generator debugger☆74Updated last year
- A SystemVerilog source file pickler.☆57Updated 7 months ago
- An automatic clock gating utility☆48Updated last month
- Main page☆126Updated 5 years ago
- A core language for rule-based hardware design 🦑☆154Updated 7 months ago