formality文档下载！

Belley

【文件名】:06428@52RD_forug.rar
【格　式】:rar
【大　小】:1418K
【简　介】:In this chapter you are introduced to the Formality application.
This chapter contains the following sections:
• What Is Formality?
• How Does Formality Fit Into My Design Methodology?
• What Designs Can I Verify?
• What Pieces Make Up Formality?
• General Process Flow
• Input and Output File Types
• Concepts
【目　录】:
1. Introduction to Formality
2.A Quick Start With Formality
3.Starting Formality
4.Setting Basic Elements for Design Verification
5.Preparing the Design for Verification
6.Compare Point Matching and Verification
7.Debugging Failed Design Verifications
8.Cell Library Verification