The Modeling And Design Of Circuit Correctness Verification System

Microelectronic devices has been popular in modern society, and applied to variousaspects. The microelectronic devices have been developed towards multifunction andminiaturization. They have been used and are using in industry, aviation industry,agriculture, medicine and other directions, and made great contribution to the above areas.They have gotten great developments on social progress.As the further development of microelectronic devices, more microelectroniccomponents and light electronic components are integrate in one chip, these componentsare integrated in a small chip area by chemical or laser, and constituted a chip. Theexecutions of the chip include calculation; induction; action command and such series ofcomplex work, in order to achieve the high performance computing in the tiny space.Microelectronics equipments include machinery equipment and optoelectronic devices.Machinery equipment use electricity as an energy source and carry out the micro operationthrough mechanical components, which include sensing, computing, storage, etc. Thesemicroelectronics components are widely used in computer, perform the function ofcomputing and storage; they also used in the embedded devices, to perform sensing,calculations, etc. In the aviation industry, microelectronics are also used in no-humancontroller, performs some high dangerous job.Light electric equipments include micro grating array, optical switch, and micro lensarray. Grating array and the optical switch are mainly used in the remote signaltransmission, and play a very important role. By convert electrical signals to light signals,the multivariate information is transited into different wavelengths of light, which cantransmit composite information in the same fiber, and without disturbing each other. Theoptical switch can control the alignment of optical signals, transmit specific optical signalbetween any two points small loss.Existing microelectronics equipments are usually manufactured through electroniccircuit design, virtual function verification, and actual manufacturing. In the electroniccircuit design and virtual function verification process, because of the complexity of thecircuit is high, the number of integration increasing, virtual function verification graduallybecome the bottleneck of microelectronics development and industrialization.Design such a system: through the interface of input, the existing or new miniatureelectronic components have been modeling. At the same time, the system is modelingaccording to component interaction interface and topology, all the knowledge of thereservation system is gotten. The predefined function system is inputted, the functional requirements are modeling, and system target is obtained. In the system, the knowledge: allcomponents function, interface information, topological structure, etc., will be calculatedwith the system expectation function by using the Boolean formula calculation, the result isgotten whether the system can meet the expected function of the conclusion.In the process of component modeling, we distinguish different types of componentsin modeling, and the information such as the parameters of the components, function indexof component is used in modeling. Knowledge of components such as the mathematicalfunctions, logic function and a series of functions, are gotten. The components with samecharacteristic function are reduced to one unification function in order to saving thefunction space.In the process of functional verification, the model and the logical function willreceive to calculate. According to a set of logic function, the system logic feasibility willbe calculated in model, the logic formulae is compiled to paradigm which existing logicproblem solver can accepted, and then use logic problem solver solution, get the currentconditions whether meet the predefined function results.Implement the modeling of components, including function modeling, interfacemodeling and topology modeling, etc. In the modeling of the function, mainly realized thefunction description of components; The interaction between the interface modeling mainlyimplements the component; Mainly describes the level of the whole system topologymodeling, structure, etc.Implements model validation of modeling system, virtual test the function of thesystem, on the basis of system modeling, expected need to implement the function of thesystem, by using computer aided calculation, the system design is in line with the expectedresults.