Skip to content

Latest commit

 

History

History
13 lines (8 loc) · 579 Bytes

README.md

File metadata and controls

13 lines (8 loc) · 579 Bytes
Raw

Contains all the required documents and code for the Formal Verification of OR1200.

  1. Final_Submission: contains a) Final report b) Presentation slides

  2. doc: contains all the design documents related to OR1200 Processor.

  3. rtl: contains the rtl code for all modules with in the OR1200 Processor.

  4. script: contains all the tcl scripts necessary to run the formal verification using Jaspergold (Run these scripts from within the script folder).

  5. tb: contains all the assertions developed for various OR1200 modules.