janestreet / hardcaml_of_verilogLinks
Convert Verilog to a Hardcaml design
☆17Updated 2 weeks ago
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 Circuits☆21Updated 2 weeks ago
- Hardcaml Verification Tools☆12Updated last month
- RISC-V instruction set CPUs in HardCaml☆15Updated 8 years ago
- ☆37Updated 3 years ago
- A hardcaml library to interface with arty boards☆16Updated 2 years ago
- [Deprecated] Digital waveform viewer☆9Updated 7 years ago
- Manythread RISC-V overlay for FPGA clusters☆38Updated 2 years ago
- A language and toolset for implementing dataflow applications on FPGAs☆28Updated 6 years ago
- CHERI-RISC-V model written in Sail☆60Updated last week
- HardCaml example designs☆18Updated 7 years ago
- PicoRV☆44Updated 5 years ago
- A place to share libraries and utilities that don't belong in the core bsc repo☆35Updated 3 months ago
- Main page☆126Updated 5 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆106Updated last month
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆36Updated 4 years ago
- Mutation Cover with Yosys (MCY)☆84Updated 2 weeks ago
- A tiny POWER Open ISA soft processor written in Chisel☆108Updated 2 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 8 years ago
- Fiber-based SystemVerilog Simulator.☆25Updated 2 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆28Updated 2 weeks ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 2 years ago
- User-friendly explanation of Yosys options☆113Updated 3 years ago
- Verilog FPGA Parts Library. Old Octavo soft-CPU project.☆74Updated 6 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 4 years ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆155Updated last week
- BSC Development Workstation (BDW)☆29Updated 7 months ago
- A reimplementation of a tiny stack CPU☆83Updated last year
- A standalone parser for BSV (Bluespec SystemVerilog) written in Go☆13Updated 8 years ago
- A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)☆20Updated 7 years ago
- Altera JTAG UART wrapper for Bluespec☆25Updated 11 years ago