ujamjar/hardcaml-vpi

Stars
7
Rank 2,294,772 (Top 46 %)
Language
OCaml
License
ISC License
Created almost 10 years ago
Updated over 7 years ago

ujamjar/hardcaml-vpi

ujamjar

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

HardCaml Icarus Verilog VPI cosimulation

hardcaml

[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml

hardcaml-zinc

HardCaml implementation of the OCaml ZINC Abstract Machine

reedsolomon

Reed-Solomon Error Correction CODEC

hardcaml-examples

HardCaml example designs

ctypes_of_clang

Convert C-code to OCaml Ctypes via Clang

hardcaml-riscv

RISC-V instruction set CPUs in HardCaml

hardcaml-llvmsim

LLVM JIT Cycle Accurate Simulator for HardCaml

hardcaml-affirm

Verification tools for HardCaml

sattools

SAT solver interfaces (minisat, picosat, cryptominisat)

hardcaml-waveterm

[Deprecated] Digital waveform viewer

hardcaml-yosys

[DEPRECATED] Import verilog designs into hardcaml using yosys

hardcaml-reedsolomon

HardCaml Reed-Solomon Error Correction CODEC

oh261

OCaml H.261 Video CODEC

riscv

RISC-V tools in OCaml

ovideo

OCaml Video CODEC Utility Library

hardcaml-mor1kx

OpenRISC mor1kx port to HardCaml

hardcaml-gaa

Guarded Atomic Actions for HardCaml

ocaml-cryptominisat

OCaml bindings for cryptominisat4 *DEPRECIATED* see https://github.com/ujamjar/sattools

oplay

YUV video player using tsdl

hardcaml-bloop

boolean operations

Jupyter Notebook

board-tools

hardcaml-tutorial

Tutorial designs for HardCaml

hardcaml-game-of-life

hardcaml-framework

Framework for building HardCaml core generators as command line apps or webpages

hardcaml-meta

META data tools for VHDL/Verilog cores for use with HardCaml