1. Organization of paper This paper talks about the steps and procedures involved to perform formal analysis on a given design. MAS (Micro Architecture Specification) was the primary input used for ...