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.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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 ...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
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