Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Method and system for satisfiability analysis of transient pulse reconvergence phenomenon in combinational circuits

A transient pulse, combined circuit technology, applied in electrical digital data processing, instrumentation, computing and other directions, can solve the problems of not considering signal correlation, unable to cover input vectors, inappropriate for large-scale circuits, etc., to avoid falling into a large number of calculations. , the effect of reducing the calculation scale and high accuracy

Active Publication Date: 2022-05-03
NAT UNIV OF DEFENSE TECH
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The input vector of the simulation method is randomly generated, which may not cover all the input vectors that can cause reconvergence
The method of probabilistic analysis will have accuracy problems, and figure 1 For example, the probability that the output y is 1 is 37.5% (truth table), but it is calculated as 42.19% by the method of probability propagation, because the correlation between signals is not considered
The binary decision tree method can analyze the reconvergence phenomenon more accurately, but the solution scale is exponential, which is not applicable to large-scale circuits

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
  • Method and system for satisfiability analysis of transient pulse reconvergence phenomenon in combinational circuits
  • Method and system for satisfiability analysis of transient pulse reconvergence phenomenon in combinational circuits
  • Method and system for satisfiability analysis of transient pulse reconvergence phenomenon in combinational circuits

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0052] Hereinafter, taking Minisat as an example of the SAT solver, the method and system for analyzing the satisfiability of the transient pulse reconvergence phenomenon of the combinational circuit of the present invention will be further described in detail. However, the satisfiability analysis method and system for the transient pulse reconvergence phenomenon of combinational circuits in the present invention are not limited to a specific SAT solver, and the SAT solver can use either a local SAT solver or a cloud SAT solver as needed solver.

[0053] like figure 2As shown, the implementation steps of the satisfiability analysis method for the transient pulse reconvergence phenomenon of the combinational circuit in this embodiment include:

[0054] 1) read in the NAND graph format file of the combined circuit analyzed; The NAND graph format file is a file that only uses the AND gate and the NOT gate to represent the circuit structure. In the present embodiment, the NAND g...

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 discloses a method and system for analyzing the satisfiability of the transient pulse reconvergence phenomenon of a combined circuit. Select the output node P reachable by V, calculate the maximum distance and the minimum distance from any node on the path to the output node P, initialize the list C to be checked, add the element (V, V) to the list C to be checked, and each in the list C to be checked Add sensitization constraints to each element, and use the SAT solver to solve to determine whether there is an input vector that meets the requirements, so that there are two paths between the starting node V and the output node P that can be sensitized at the same time, and update if not satisfied List C to be checked, sort the elements in list C to be checked and re-solve the SAT solver. The invention has the advantages of large analytical scale, higher accuracy, small calculation scale, high calculation efficiency and short algorithm running time.

Description

technical field [0001] The invention relates to the technical field of circuit analysis of integrated circuits, in particular to a method and system for analyzing the satisfiability of transient pulse reconvergence phenomena of combined circuits for fast and accurate analysis of the satisfiability of reconvergence phenomena of pulse signals. Background technique [0002] The phenomenon of reconvergence is very common in modern integrated circuit design. Some studies have pointed out that the analysis of some classic chips found that more than half of the units are fan-out units. Due to the limitation of chip output pins, a large number of re-convergence of fan-out branches will inevitably occur. The transient pulse generated by a certain unit will be delayed by multiple paths and may meet at a certain point. The reconverged pulse has great uncertainty in waveform, amplitude and pulse width. In addition, due to the existence of logic shielding, the transient pulse cannot pro...

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 Patents(China)
IPC IPC(8): G06F30/398
CPCG06F30/398
Inventor 郭阳刘畅梁斌张龙贺旭张璐捷陈建军刘必慰
Owner NAT UNIV OF DEFENSE TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com