Formality includes an intuitive, flow-based user interface to streamline the verification process. The Formality guidance file, known as the automated setup file (SVF), sets the commands and variables in Formality to match the setup used by Design Compiler Ultra, eliminating manual, error prone scripts. In the case of a design undergoing ECO, the original guidance file might require modifications. This paper describes a process that helps automate the modification effort.
Please enter your business email address then click 'Continue >>'.