Giters

stnolting / neorv32-formal

Formal verification (experiments) targeting the NEORV32 RISC-V processor.

Home Page:https://github.com/stnolting/neorv32

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

neorv32-formal

Formal verification (experiments) targeting the NEORV32 RISC-V processor.

🚧 Work In Progress 🚧

About

Formal verification (experiments) targeting the NEORV32 RISC-V processor.

https://github.com/stnolting/neorv32

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:VHDL 95.6%Language:Shell 2.5%Language:Makefile 1.8%