An Auto-verification Platform for Schematic Design Based on TCL

In this paper, an auto-verification platform for schematic design is presented based on the extended TCL as a script language. Using the extensible property of the TCL, constructed a set of extended TCL command on the general data structure of the schematic design, and on this base, a rule library and an auto-verification runner are built to make the auto verification of the schematic design possible.