Optimal implication logic representation method of digital circuit logic function

A technology of digital circuits and logic functions, which is applied in the field of the optimal implication logic representation of logic functions of digital circuits, can solve problems such as redundancy, and achieve the effect of reducing the number and design cost.

Active Publication Date: 2020-06-09
NINGBO UNIV
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the result obtained by this method is not optimal, because the one-to-one mapping of inverters in AIG requires a substantial implication logic operation to achieve, which will cause redundancy

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
  • Optimal implication logic representation method of digital circuit logic function
  • Optimal implication logic representation method of digital circuit logic function
  • Optimal implication logic representation method of digital circuit logic function

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] The present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments.

[0044] figure 1 with figure 2 Shown are the corresponding logic circuit structure and logic function truth table of the substantial implication logic circuit respectively. A conventional resistor and two parallel memristors P, Q are connected in series to form a digital switching circuit, and the hybrid circuit can form a substantial implication operation. The initial resistance state of the memristors P and Q is the input of the logic gate, and the memristor Q is also the output of the logic gate, through the voltage v set , v cond The combined action of the memristor Q changes the resistance state as the output of the logic gate, and the final result is written into the memristor Q for storage.

[0045] takes a Boolean expression as Take the simple digital circuit as an example, the truth table of the logic function of the digital cir...

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 optimal implication logic representation method of a digital circuit logic function. Firstly, constraint conditions in implication logic are described according to a definedBoolean variable, a constraint file represented by a combined normal form CNF is obtained; different actually contained logic operands are set; and coding is carried out to obtain a CNF constraint file, and then the CNF constraint file is transmitted to an SAT solver until the SAT solver finds out Boolean variable assignment meeting constraint conditions and returns a result SAT representing an optimal solution, thereby ensuring that an optimal implication logic representation form of a digital circuit logic function is found out. According to the method, 74 functions are optimized in all three-input digital circuit logic functions. The method provided by the invention can effectively reduce the number of nodes in a logic graph structure taking the substantial implication as a basic operation set, can reduce the number of memristors and reduce the design cost of the memristor circuit when being applied to the memristor circuit, and enriches the research method of the substantial implication logic in logic synthesis at the same time.

Description

technical field [0001] The invention relates to an implied logic expression method, in particular to an optimal implied logic expression method for digital circuit logic functions. Background technique [0002] In 1971, Professor Cai Shaotang speculated a new type of basic circuit element on the basis of circuit theory and symmetry principles, and called it "memristor", that is, a resistor with memory. Subsequently, the HP (Hewlett-Packard Company) laboratory developed nano-memristors when developing molecular-level products that replaced transistor switches, and realized the material implication (Material Implication, IMP, logic expression) by using the switching characteristics of dual memristors. logical operation. Substantial implication is one of the basic logical operations of two variables, and it can also form a complete basis of logical operations together with the logical constant "0", which means that any logical operation can be realized by using the implicatio...

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/327G06F30/323
Inventor 储著飞陈林夏银水王伦耀
Owner NINGBO UNIV
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