每日一题-4.14-形式验证

2. Formality是有Synosys公司开发的一种形式验证(Formal Verification)工具，用于两个Design之间的形式验证。（ABC）

A. RTL级对RTL级

B. 门级网表对门级网表

C RTL级对门级网表

解析：跟事件驱动模拟器相比，形式验证能更快的验证出两个设计在功能三是否等同，可以实现RTL-RTL,RTL-TO-GATE,GATE-TO-GATE,并且有定位功能，可以帮助找到两个设计之间功能不同的原因。