一种模块级形式验证测试平台、使用方法、设备及介质
The module-level formal verification test platform solves the problem of code reuse across layers and systems in SoC design, realizes the reuse of formal verification code and the merging of verification architecture, and improves verification efficiency and quality.
CN115840696BActive Publication Date: 2026-07-17XIAN ROADVISION TECH CONSULTING CO LTD
Patent Information
- Authority / Receiving Office
- CN · China
- Patent Type
- Patents(China)
- Current Assignee / Owner
- XIAN ROADVISION TECH CONSULTING CO LTD
- Filing Date
- 2022-11-30
- Publication Date
- 2026-07-17
AI Technical Summary
Technical Problem
In SoC design, code reuse across layers and systems leads to repetitive work and verification gaps, which existing technologies struggle to address effectively.
Method used
This paper provides a module-level formal verification test platform, which includes reusable formal verification components and non-reusable formal verification environment. By configuring the checker model, coverage model, formal bus model and formal verification component interface, it realizes code reuse and the merging of verification architecture, avoiding duplication of work and verification gaps.
Benefits of technology
It enables the reuse of formal verification code, reduces repetitive work, improves verification quality and efficiency, and ensures the integrity and consistency of verification.
✦ Generated by Eureka AI based on patent content.
Smart Images
Figure CN115840696B_ABST
Abstract
本发明公共了一种模块级形式验证测试平台、使用方法、设备及介质，此平台将可重用部分与不可重用部分进行拆分，由不可重用的形式验证环境和模块化的可重用组件，即形式验证组件构成，形式验证组件提供了简单而干净的接口，为集成到更高层级的验证环境中提供了条件，这样跨层级和跨系统的代码重用时将不会出现重复的工作，通过将多个形式验证组件集成到仿真测试平台中，创建了系统级覆盖率，所有的覆盖率数据可以合并到统一的系统级覆盖率数据库中，这样将验证架构划分为不同的系统时，不会引入意外的验证空隙。
Need to check novelty before this filing date? Find Prior Art