The Design And Implementation Of An Efficient Automatic Verifying Platform

With the continuous development of electronic technology,the scale of electronic systems continues to increase,and the complexity of the schematic diagrams is greatly improved.Enterprises and scientific research institutions often have unique requirements and standards for their products,and hope that these requirements and standards are applied to the review of product schematics.The current mainstream EDA tools used to design schematics only provide DRC and ERC checks and do not support enterprises for custom review.Some companies and research institutions use the APIs disclosed by EDA tools to design review plug-ins for custom review.The speed of review plug-ins is limited by EDA tools,and the review efficiency is low.After the EDA tool replaced,the review plug-in needs to be modified in a timely manner.Therefore,it is especially important to develop an efficient and compatible schematic review tool.Based on the above requirements and the deficiencies of existing review tools,an efficient review system independent of EDA tools was developed,which runs as an executable file with strong compatibility and high efficiency of review.In the review system described in this paper,the input schematic file format is the EDIF200 standard format widely used by each EDA tool.The EDIF200 schematic file can be directly exported by EDA tools of various manufacturers to solve the compatibility problem of the review system.The review system constructs the lexical compiler and grammar compiler through the open source software Flex and Bison,parses the EDIF200 file,and extracts the schematic information.Construct a common data structure and save the schematic information extracted during the parsing process to a common data structure.At the same time,the review system provides a number of interface functions for obtaining schematic information stored in a common data structure,generating a review result file,and so on.The review system supports custom review capabilities,and users can write review rules in the form of Python files.Schematic information can be obtained by calling the interface function provided by the review system in a Python file.A combination of multiple interface functions and logic enables custom review.The review system comes with a Python script executor that can execute multiple review rules at the same time,greatly improving the efficiency of the review.The results of the review are presented in a text file in XML format.The entire review system can be placed on the server to enable multi-process operation.In order to make the review results more clearly reflected in the schematic diagram,the review system also implements the redraw function of the schematic diagram based on the EDIF200 file.Redraw function analyzes the review report,and then reverses the review result to the redraw schematic.