GrC-based Research On Sequential Logic Circuit State Reduction Algorithm

The development of large-scale integrated circuit is the foundation ofcomputer science and electronic science. Digital integrated circuit is animportant part of integrated circuit, its basic theory is digital logic circuit.Despite the widespread use of automated software to design the circuit, logicoptimization is always the key component in circuit analysis and design. Thescale of integrated circuit is larger and larger, so the logic optimization will facea more difficult optimization task, and because of these changes the basic theoryof digital logic circuit research has to accept the challenge.At present the development of artificial intelligence theory and data science isin a high speed, so we can try to apply new theories and methods to the basictheory research of digital logic circuit. Granular computing is a new discipline,which is a kind of intelligent calculation method. In this theory, analyze,understand and grasp the essence and connotation of the uncertain andlarge-scale complex problems from different levels, different angles bysimulating the way of thinking of human dealing with these problems. Granularhas caused the wide attention of scholars. Sequential logic circuit is an important content of digital logic circuit.According to whether containing uncertainties in the circuit, the sequential logiccircuit can be divided into completely specified sequential logic circuit andincompletely specified sequential logic circuit.This paper mainly studied the granular computing theory and state reductionproblem of the sequential logic circuit, and tried to apply the granular computingtheory to the sequential logic circuit state reduction. The main work is asfollows:Firstly, we summarized the current research of granular computing and statereduction, and found the relationship between granular computing and statereduction;Secondly, state reduction of the completely specified sequential logic circuitwas studied. A reduction algorithm based on the granular computing and itsimproved algorithm were proposed;Thirdly, state reduction of the incompletely specified sequential logic circuitwas studied, and the corresponding algorithms of looking for maximalcompatibility classes, minimal cover, and minimal closed cover were proposed,and analyzed and compared with the traditional methodFinally, this paper summarized the main research and the developmentdirection of state reduction.