Form verification method, system and equipment and storage medium

A formal verification and pending verification technology, applied in the field of formal verification, can solve the problems of large top-level port changes, difficult reuse of verification components, unstable design, etc., to reduce the possibility of manual connection environment errors, easy to understand, The effect of improving reusability

Pending Publication Date: 2022-04-29
SHANDONG YUNHAI GUOCHUANG CLOUD COMPUTING EQUIP IND INNOVATION CENT CO LTD
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In addition, in the early stage of the project, the design was unstable, and the top-level port had changed a lot, which required upgrading and transformation on the basis of the original environment. The various application modes of the formal verification method correspond to various verification environments. If the verification environment is developed by multiple engineers, it will There are many different code styles, so it is difficult to reuse the developed verification components to other projects

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Form verification method, system and equipment and storage medium
  • Form verification method, system and equipment and storage medium
  • Form verification method, system and equipment and storage medium

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0023] In order to make the object, technical solution and advantages of the present invention clearer, the embodiments of the present invention will be further described in detail below in conjunction with specific embodiments and with reference to the accompanying drawings.

[0024] It should be noted that all expressions using "first" and "second" in the embodiments of the present invention are to distinguish two entities with the same name but different parameters or parameters that are not the same, see "first" and "second" It is only for the convenience of expression, and should not be construed as a limitation on the embodiments of the present invention, which will not be described one by one in the subsequent embodiments.

[0025] According to the first aspect of the embodiments of the present invention, an embodiment of a formal verification method is proposed. figure 1 What is shown is a schematic diagram of an embodiment of the formal verification method provided by...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides a form verification method, system and device and a storage medium, and the method comprises the steps: describing a template file of each working mode by using a universal template grammar rule, and creating a user-defined file; responding to working mode information received by the user-defined file, and generating a corresponding form verification framework according to a working mode; calling a template file corresponding to the working mode and storing the template file in a directory corresponding to the formal verification framework; and connecting the file relationships of the whole environment at the top layer of the formal verification environment to form an integral framework, and performing formal verification by using the framework. According to the method, corresponding verification platform frameworks are generated for verification working modes in different forms, so that the reusability of a verification environment is improved while the verification efficiency is improved, and the verification period is shortened.

Description

technical field [0001] The present invention relates to the field of chip design, more specifically, to a method, system, device and storage medium for formal verification. Background technique [0002] The rapid development of science and technology has driven the rapid development of the chip industry, and improving the reliability of verification can greatly increase the probability of chip success. The current mainstream verification method is to use the UVM (Universal Verification Methodology) platform for simulation verification. This verification method uses direct test cases and random constraints to achieve the verification purpose. In order to improve the verification reliability, in the verification process It is also necessary to define the functional coverage, and write a comparison model if necessary, but for some difficult-to-reach scenarios, this verification method is difficult to construct, so it is not easy to find hidden bugs (vulnerabilities). The emerg...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F30/3323
CPCG06F30/3323
Inventor 崔盼邵海波宋强曹铸
Owner SHANDONG YUNHAI GUOCHUANG CLOUD COMPUTING EQUIP IND INNOVATION CENT CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap