weixin_45710946的博客

原创 形式验证VC Formal

VC Formal目前共提供12个APP（FPV、DPV、Fusa、SEQ、FSV、FLP、FTA、AEP、FXP、FRV、FCA、CC），VC Formal 解决方案包括一整套正式应用程序 (App)，包括属性验证 (FPV)、自动提取属性 (AEP)、覆盖分析器 (FCA)、连接性检查 (CC)、时序等效性检查 (SEQ)、寄存器验证 (FRV)、测试平台分析仪 (FTA)、形式导航器 (NAV) 以及用于验证标准总线协议的一组断言 IP (AIP）。属性检查，使用FPV，CC，FRV等进行形式验证。