The present invention is generally directed to a system and method for
efficiently evaluating a design quality of a circuit defined by a netlist.
An inventive method includes the steps of creating an element data
structure for each circuit element in the netlist, wherein the data
structure of a given element defines a plurality of physical
characteristics for the element, and creating a node data structure for
each circuit node in the netlist, wherein the data structure of a given
node defines a plurality of physical characteristics for the node.
Thereafter, the method determines a TRUE/FALSE value for the physical
characteristics for entries within both the element data structure and the
node data structure. Finally, the method records the determined TRUE/FALSE
values for later retrieval. An inventive system includes an element data
structure for defining each circuit element in the netlist, wherein the
data structure of a given element defines a plurality of characteristics
for the element. The system further includes means for generating
TRUE/FALSE value for the characteristics for entries within the element
data structure, and means for recording the determined TRUE/FALSE values
for later retrieval. During operation, as the system needs the values of
various physical characteristics in order to evaluate the design quality
of the circuit, the system may simply retrieves the stored values, for
each of the relevant physical characteristics. Otherwise, the system
computes these values as needed.
La actual invención se dirige generalmente a un sistema y a un método para eficientemente evaluar una calidad del diseño de un circuito definido por un netlist. Un método inventivo incluye los pasos de crear una estructura de datos del elemento para cada elemento de circuito en el netlist, en donde la estructura de datos de un elemento dado define una pluralidad de características físicas para el elemento, y de crear una estructura de datos del nodo para cada nodo del circuito en el netlist, en donde la estructura de datos de un nodo dado define una pluralidad de características físicas para el nodo. Después de eso, el método determina un valor de TRUE/FALSE para las características físicas para las entradas dentro de la estructura de datos del elemento y de la estructura de datos del nodo. Finalmente, el método registra los valores resueltos de TRUE/FALSE para una recuperación más última. Un sistema inventivo incluye una estructura de datos del elemento para definir cada elemento de circuito en el netlist, en donde la estructura de datos de un elemento dado define una pluralidad de características para el elemento. El sistema más futuro incluye los medios para generar el valor de TRUE/FALSE para las características para las entradas dentro de la estructura de datos del elemento, y los significa para registrar los valores resueltos de TRUE/FALSE para una recuperación más última. Durante la operación, como el sistema necesita los valores de varias características físicas para evaluar la calidad del diseño del circuito, el sistema puede recupera simplemente los valores almacenados, para cada uno de las características físicas relevantes. Si no, el sistema computa estos valores según lo necesitado.
