- 博客(1)
- 收藏
- 关注
原创 形式验证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等进行形式验证。
2024-04-30 21:53:35 599
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人