All Categories → No Category → hardware-description-language

Top 3 hardware-description-language open source projects

ACT hardware description language and core tools.

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

✭ 119

Coq Verilog ocaml c Bluespec shell coq hardware-description-language hardware-verification

A core language for rule-based hardware design 🦑

✭ 103

Coq ocaml C++Makefile emacs lisp python semantics coq formal-methods compilation hardware-description-language

1-3 of 3 hardware-description-language projects