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

Equivalence detection method of combinational logic circuit

A technology combining logic circuits and detection methods, applied in the field of detection, can solve the problems of non-existence operability, memory explosion, etc.

Active Publication Date: 2018-03-13
NINGBO UNIV
View PDF6 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This method does not have the problem of operability. Although the detection efficiency has been improved compared with the truth table determination method, it still cannot meet the needs of current ultra-large-scale circuits, and this method will face memory explosion under certain input variable sequences. The problem

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
  • Equivalence detection method of combinational logic circuit
  • Equivalence detection method of combinational logic circuit
  • Equivalence detection method of combinational logic circuit

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0038] Embodiment: a kind of combinatorial logic circuit equivalence detection method comprises the following steps:

[0039] (1) Record the two combined circuits to be detected as a and b, where the logical expression of a is:

[0040]

[0041] The logical expression of b is:

[0042]

[0043] Among them, n is the variable number of combinational circuits a and b, ∑ is the summation symbol, p is the number of product terms of combinational circuit a, q is the number of product terms of combinational circuit b, a i is the i-th product term of the combinational circuit a, a i =x i ' 1 x i ' 2 …x i ' k …x i ' n , k is an integer greater than or equal to 1 and less than or equal to n, x i ' k is the product term a i The text variable at the kth position, indicating the corresponding input variable x k in the product term a i The occurrence of the kth bit, x i ' k ∈{0,1,-}, when x i ' k = 0, x k with its inverse variable appears in the product term a of ...

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 an equivalence detection method of a combinational logic circuit. The method comprises the steps that a logic coverage equivalence detection problem is divided into circuit including detection sub-problems by expanding a complementary minor concept, complementary minors of all product terms of one circuit expression to the other circuit expression are computed one by one, then whether or not the complementary minors are tautologies is judged on the basis of construction of Shannon structure charts of the complementary minors of all the product terms, and finally whetheror not a coverage equivalent relationship exists between two circuits is determined according to the judgment result of the tautologies. The equivalence detection method has the advantages that a logic function is subjected to decomposition and order reducing treatment by computing the complementary minors of the product terms, accordingly the coverage equivalence verification speed is increased,the operability and the detection efficiency are high, and the memory explosion problem cannot happen. The experimental structure indicates that the equivalence detection method is stable and effective, and the testing result of the circuits which are obtained through three algorithms integrated by EXPRESSO software indicates that the equivalence detection method has the remarkable speed advantage compared with two detection algorithms based on a truth table and a BDD.

Description

technical field [0001] The invention relates to a detection method, in particular to a combinational logic circuit equivalence detection method. Background technique [0002] The logic equivalence test is aimed at the equivalence test of two combinational circuits with different logic layer expressions. According to the given logical expressions of the two combinational circuits, it is tested whether they realize the same logic function. At present, the equivalence detection methods of combinational logic circuits mainly include algebraic method, truth table judgment method and functional method. [0003] The algebraic method is an intuitive method to test the equivalence of combinational logic circuits. This method uses the basic formula of logic algebra to process the logical expressions of two combinational circuits. If the same result can be obtained, the logical expressions of the two combinational circuits are logically equivalent. However, due to the large number of...

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
IPC IPC(8): G06F17/50
CPCG06F30/327
Inventor 张会红汪鹏君张跃军陈治文
Owner NINGBO UNIV
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