Integration Tool for Multi-Tool Logic Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
The existing verification tools for logic system designs, such as integrated circuits, lack synergy, making it inconvenient for users to collaboratively verify designs using multiple tools effectively.
Innovation Solution
An integration tool is provided that invokes multiple verification tools through an interface, generating a multi-tool verification process based on user goals and tool capabilities, allowing for flexible and efficient verification, including the option to access cloud-based tools when needed.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If multiple verification tools are used for logic system design verification, then verification capability and coverage are improved, but tool coordination complexity and operational difficulty increase
Solution Approach 1:
The patent introduces an integration tool as an intermediary between users and multiple verification tools. This integration tool provides a unified interface that automatically coordinates the execution of various verification tools (such as simulation tools, formal verification tools, and equivalence checking tools), eliminating the need for users to manually manage tool interactions and resolve compatibility issues.
Solution Approach 2:
The integration tool is designed with multi-functionality to handle diverse verification tasks through a single platform. It can invoke different types of verification tools, manage verification workflows, and adapt to various verification scenarios, thereby providing universal verification capability while simplifying user operations.
2Ease of operation
If verification tools are integrated through an integration tool, then ease of operation and verification efficiency are improved, but system complexity increases
Solution Approach 1:
The integration tool serves as a mediator that abstracts the complexity of multiple verification tools behind a unified interface. While the backend maintains complexity to support various verification functionalities, the frontend presents a simplified operation model to users, effectively isolating complexity from end-users.
Solution Approach 2:
The integration tool is designed with modular architecture, segmenting verification functions into independent components. Each verification tool and workflow can be managed as a separate module, allowing the system to handle complexity in an organized manner while presenting a simplified interface to users.
3Adaptability or versatility
If cloud-based verification tools are accessed to meet temporary needs, then adaptability and resource utilization are improved, but network dependency and access complexity increase
Solution Approach 1:
The integration tool is designed to support both local and cloud-based verification tools through a unified interface. It can dynamically select and invoke verification resources based on availability and user needs, whether they are installed locally or accessed remotely via cloud services, without requiring different operation procedures.
Data Source
AI summary
Embodiments of the disclosure provide a method, electronic device and storage medium for verifying logic system design. The method includes: receiving a verification goal of a user; according to the verification goal, invoking a plurality of verification tools through an invoking interface of an integration tool; generating a multi-tool verification process based on the verification goal and the plurality of verification tools; and invoking the plurality of verification tools according to the multi-tool verification process to achieve the verification goal.