fabianschuiki / llhd-sim
The LLHD reference simulator.
☆37Updated 4 years ago
Alternatives and similar repositories for llhd-sim:
Users that are interested in llhd-sim are comparing it to the libraries listed below
- A hardware compiler based on LLHD and CIRCT☆255Updated last year
- Verilator Porcelain☆46Updated last year
- Read and write VCD (Value Change Dump) files in Rust☆43Updated 11 months ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 2 years ago
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆44Updated last week
- Logic circuit analysis and optimization☆33Updated 4 months ago
- An HDL embedded in Rust.☆196Updated last year
- Verilog AST☆21Updated last year
- ☆40Updated 3 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- Low Level Hardware Description — A foundation for building hardware design tools.☆406Updated 2 years ago
- Rust RISC-V Virtual Machine☆92Updated 3 months ago
- Native Rust implementation of the FST waveform format from GTKWave.☆12Updated 3 weeks ago
- ☆102Updated 2 years ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆139Updated 2 weeks ago
- RISCV Core written in Calyx☆15Updated 6 months ago
- Library to compile Chisel circuits using LLVM/MLIR (CIRCT)☆71Updated last year
- Synthesisable SIMT-style RISC-V GPGPU☆31Updated last week
- A Hardware Pipeline Description Language☆44Updated last year
- A SystemVerilog source file pickler.☆54Updated 4 months ago
- Open Application-Specific Instruction Set processor tools (OpenASIP)☆153Updated last week
- Main page☆125Updated 5 years ago
- CHERI-RISC-V model written in Sail☆57Updated last week
- Hardware generator debugger☆73Updated last year
- Verik toolchain☆41Updated 2 years ago
- (System)Verilog to Chisel translator☆111Updated 2 years ago
- Rust Test Bench - write HDL tests in Rust.☆23Updated 2 years ago
- RISC-V architecture concurrency model litmus tests☆74Updated last year