formality

Formality 形式验证

1. 基本特点：

Synopsys Formality 是形式验证的工具，你可以用它来比较一个修改后的设计和它原来的版本，或者一个RTL 级的设计和它的门级网表在功能上是否一致。

在IC设计中通常用于进行不同步骤的netlist的比较：逻辑综合netlist，floorplannetlist，placement netlist ，CTSinserted netlist,PR netlist，在每一个步骤后都有新的逻辑加入到netlist中，但是这个新的逻辑的加入不能改变原netlist的l逻辑功能。

2. Reference Design 和Implementation Design：

形式验证的过程中涉及到两个设计：一个是标准的、其逻辑功能符合要求的设计，在Synopsys 的术语中称之为Reference Design；另一个是修改后的、其逻辑功能尚待验证的设计，称之为Implementation Design

3. container：

我们可以把container 理解为Formality 用来读入设计的一个空间，或者说一个“集装箱”，一般情况下要建立两个container 来分别保存Reference Design 和Implementation Design

4. 读入共享技术库：

在开始验证流程之前，首先要读入所有的会被用到的共享技术库

5. 设置Reference Design：

1）建立一个新的container；

2）读入门级网表；

3）确认该设计为Reference Design；

4）链接Reference Design；

6. 设置Implementation Design：

1）建立一个名为impl 的container，读入clk_insert1.v 文件；

2）确认Implementation Design；

3）链接该设计；

4）把该设计设置为当前设计，然后把其中的test_se 端口设置为0

7. 保存及恢复所做的设置

8. 运行verify 命令

Formality 将根据所作的设置，对ref 和impl 中的两个设计进行验证。

相比于动态仿真的优势在于：

不需要开发验证pattern

速度比较快

覆盖率100%

纯逻辑上的验证，不考虑物理和timing信息

缺点在于：

由于不考虑timing，因此需要配合STA工具使用

formality求助

formality

英 [fɔː'mælɪtɪ] 美 [fɔr'mæləti]

n. 礼节；拘谨；仪式；正式手续

[ 复数 formalities ]

21世纪大英汉词典 柯林斯英汉双解大词典

formality [fɔ:'mæliti]

n.

拘泥形式；严格遵守必要的(或传统的)规章

拘谨，拘束，死板

礼貌，得体，合宜

正式手续；礼节；仪式；俗套；繁文缛节

一丝不苟，严谨

单纯为形式而做的事；习俗(或礼貌)上该做的事

近义词:

ceremony

短语

Customs formality 海关手续 ; 出入境手续 ; 办理海关手续 ; 海关手续

legal formality 法律手续

entry formality 入港申报手续

customes formality 海关手续

transit formality 过境手续

export formality 出口手续

approval formality 批复手续

Begrudging Formality 不情愿手续

Formality Requirement 形式要求

He has the greatest disregard for all formality.

他全然不顾一切礼节。

《新英汉大辞典》

formality和form的区别

formality只是名词，form是名、动词。

formality。英[f___m_l_ti]，美[f__r_m_l_ti]。n.正式手续;例行公事;遵守礼节。

form。英[f__m]美[f__rm]n.类型;种类;形式;外表;样子;表格;形状;结构，形式;体能;表现状态;惯常做法;礼貌;词形;年级;?年级学生。v.(使)出现，产生;(使)形成;(使)成形，组成;制作;（使）排列成，排成;有?功能;是;组织;对?的发展有影响。

第三人称单数：forms复数：forms现在分词：forming过去式：formed过去分词：formed。

看不懂的英文，可以尝试使用百度翻译或者谷歌翻译来进行翻译，翻译的快速准确。

英语学习即学习英语，主要讲述学习英语的方法，注意事项等内容。学习英语贵在坚持，找到适合自己的方法，多运用多温故。英语学习过程是一种观察，模拟，认识，识记，思考，记忆等综合的心理过程过程。建议从学单词开始就听写背单词（从简单到复杂），建立起人对英语单词声音形象的条件反射能力。

formality什么意思

formality 的意思是：作名词，正式手续; 例行公事; 遵守礼节。

例句：With the Cold War almost over, the talks were a mere formality.

复数：formalities

formality是什么意思

n. 礼节；拘谨；仪式；正式手续

Some contracts are a mere formality.

有些合同纯属走形式。

They are whisked through the immigration and customs formalities in a matter of minutes.

他们在短短的几分钟内就很快走完了**与海关手续。