This is a WIP project with the idea of implementing the RISC-V ISA to get familiar with RTL development as well as verification (UVM and formal).
-
Notifications
You must be signed in to change notification settings - Fork 0
Imhotep is an example processor that implements RISC-V with the aim of incorporating formal verification into processor development
License
AbdallahMeebed/imhotep
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Imhotep is an example processor that implements RISC-V with the aim of incorporating formal verification into processor development
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published