电子设计自动化领域的形式化验证软件，用于RTL与网表的功能正确性证明、断言检查及等价性验证形式化属性验证与断言检查等价性检查与逻辑锥比对覆盖率分析与验证收敛调试当前版本：24.03.000