sifive / ProcKami

Kami based processor implementations and specifications

coq hardware hardware-designs formal-verification riscv riscv-simulator

This repository is not active

About

Kami based processor implementations and specifications

coq hardware hardware-designs formal-verification riscv riscv-simulator

Apache License 2.0

Languages

Language:Coq 99.9%Language:Makefile 0.1%