Symbolic Policy Checking Package David Harrison University of California Berkeley 1990 This package verifies the symbolic policy conformance of Oct facets The following tests are performed Makes sure the facet has TECHNOLOGY VIEWTYPE and EDITSTYLE properties Makes sure all instances are attached to an appropriate bag either CONNECTORS or INSTANCES Insures that segments attached to instance terminals are legally connected to the terminal determined by size position and layer Makes sure joined terminals and jump terminals are connected using the appropriate net structure Finds and flags any geometry in the cell that is not an instance segment or label Insures all segments are attached to layers and nets and that all segments are attached to exactly two actual terminals Checks the net structure for problems This includes insuring only segments terminals properties and bags are attached to nets and that all items on the net are reachable via simple net walking Jump terminals are checked appropriately Warnings for trivial nets are produced Insures formal terminals are uniquely named have a non null implementation are connected to exactly one net and have terminal type and direction annotation int scCheck octObject fct Checks a symbolic cell for correctness Returns the number of serious errors found The checks made are described above Normally errors are reported in a text form to standard error However the caller can specify a different error reporting function using scSetErrorFunc From sc h typedef struct sc err func defn void err func int severity int class octObject obj char msg char user data char user data scErrFunc void scSetErrorFunc scErrFunc new scErrFunc old Sets the error reporting function to new and returns the old error reporting function in old The error reporting function has the following form void err func severity class obj msg data int severity class octObject obj char msg data The severity will be one of WARN ERR or FATAL The error class will be one of those given in the header file The bad object if any will be passed as obj A suitable error message will be passed in msg The data parameter will be the same as that specified in new