Skip to content

saqibkh/OR1200_Formal_Verification

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

23 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published