Giters

tmeissner / 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