Based On The Design And Implementation Of Symbols In The Gste Simulation

The world has entered the integrated circuit since the apperance of the first circuitin1958. The application of circuit has been used extensively, include aeronautics andour cellphone, computer and television in our life.Thus we can say that the rapiddevelopment of the integrated circuit has changed the world. In China,the12thFive-Year Plan of integrated circuit industry has been released by the Ministry ofIndustry and Information Technology mentioning China’s integrated circuit industryscale will be double of the Eleventh Five-Year by the end of the12th Five-Year. We cansee that the important role of integrated circuit play in our process of modernization.Though the integrated circuit has promising future,the development of the field ofdigital circuit verification technologies is obviously slowly in China.From thetraditional simulation technology at the beginning to GSTE(Generalized SymbolicTrajectory Evaluation) verification method, the process was long and difficult.Luckily,more and more companies and enterprise begin to pay attention to the circuit designvalidation, we believe that digital hardware validation future will be more promising.The thesis introduced the traditional simulation verification firstly, and the formalverification follow it, compared the advantages and drawbacks. In order to combinatethe two methods, we introduced STE (Symbolic Trajectory Evaluation) test method.because of the shortcomings of the validation timeliness in STE, in Yang improved itand introduced the concept of assertion figure, then put forward GSTE validationmethods. GSTE validation method has been gradually promotion and accepted bypeople widely.The most important part of the thesis is designed a simulation test system based onGSTE symbol. Theory basis came from the GSTE, and according to the code of VISwhich is open source to extended VIS. Add the GSTE algorithm to VIS and extendedthe the describe language. Which VIS cann’t identify.Then use Java to construct aplatform for the main frame, through the TCP/IP protocol realized the front desk and thebackground of the data communication. Finally constructed the comprehensiveverification simulation platform. Finally, according to a simple example of traffic light in the verification field totest the platform system, displaying the establishment of the documents, the analysisand input of the model, the edition of the figure and the final results of simulationsymbols. Through theresult of the test data, we can proved that the design verificationsimulation platform comply with the design requirements, but the system also hassome defects, such as excessive consumption of memory, the reaction speed is notfast.In the next step, We believe it will gradually improved and more sensibly.