Asynchronous circuit timing sequence checking method based on static analysis

Abstract

The invention provides an asynchronous circuit timing sequence checking method based on static analysis. The method includes the steps that a logic design file is analyzed, and a timing sequence diagram is established; a timing sequence constraint file is read in, and timing sequence constraint is established on the timing sequence diagram; timing sequence inspection is conducted; when abnormity is not found in timing sequence inspection, an asynchronous timing sequence path is extracted out of the timing sequence diagram and analyzed, and the delay information of the asynchronous timing sequence path is calculated; timing sequence allowance information is calculated according to the delay information of the asynchronous timing sequence path and delay information required by a device in a library file, and whether user design meets the timing sequence requirement or not is judged according to the timing sequence allowance information. By means of the asynchronous circuit timing sequence checking method, whether a timing sequence problem occurs in an asynchronous circuit or not can be judged, a reference is provided for integrated circuit designers, and design quality is guaranteed.

Description

technical field [0001] The invention relates to the technical field of programmable integrated circuit design, in particular to a method for checking timing of asynchronous circuits based on static analysis. Background technique [0002] In the process of designing an integrated circuit, it is usually necessary to analyze and check the timing of the designed circuit to ensure that the design can meet the timing requirements. Generally speaking, timing checks can be classified into static checks and dynamic checks. The dynamic inspection is carried out on an EDA (Electronic Design Automation, electronic design automation) simulation platform by constructing test vectors. This kind of inspection has relatively high accuracy and can verify the function, but it is limited by the simulation speed of the EDA platform, and the inspection process takes a long time. Static inspection does not simulate the function, but uses the exhaustive method to replace the test vector with math...

AI Technical Summary

Problems solved by technology

In fact, the design of asynchronous circuits is relatively prone to problems. If there are timing problems in asynchronous circuits, the entire design will fail.

Images