#

bluespec

Here are 2 public repositories matching this topic...

cambridgehackers / bsvtokami

Translates Bluespec SystemVerilog to Kami for use with the coq proof assistant.

compiler coq bluespec formal-verification

Updated Oct 13, 2021
Python

jsburke / bsv-cores

RISC-V cores based on Bluespec's Piccolo and Flute

processor-architecture bluespec easy-to-use risc-v easy-to-expand

Updated Jul 3, 2020
Python

Improve this page

Add a description, image, and links to the bluespec topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the bluespec topic, visit your repo's landing page and select "manage topics."