Contains all the required documents and code for the Formal Verification of OR1200.
-
Final_Submission: contains a) Final report b) Presentation slides
-
doc: contains all the design documents related to OR1200 Processor.
-
rtl: contains the rtl code for all modules with in the OR1200 Processor.
-
script: contains all the tcl scripts necessary to run the formal verification using Jaspergold (Run these scripts from within the script folder).
-
tb: contains all the assertions developed for various OR1200 modules.