Optimal implication logic representation method of digital circuit logic function

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...

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

Images