The inventive lightweight occurrence model uses a folded connectivity model
which includes occurrence nodes. Each occurrence node includes occurrence
specific data or a pointer to such data, a pointer to a parent occurrence
node, and a pointer to a folded model describer. Thus, the information
that would present in a full occurrence model can be included in the
inventive lightweight occurrence model. The inventive model does not
maintain duplicate information and requires less memory to store the
inventive model. Since the inventive occurrence model is smaller than the
full occurrence model, complex circuit designs, e.g. microprocessors, can
be represented by the inventive lightweight occurrence model. Thus, low
level characteristics of the design, e.g., timing delays, can be examined.
Изобретательная облегченная модель возникновения использует сложенную модель connectivity вклюает узлы возникновения. Каждый узел возникновения вклюает данные по возникновения специфически или указатель к таким данным, указатель к узлу возникновения родителя, и указатель к сложенному модельному describer. Таким образом, информацию на которую приведено в полной модели возникновения можно включить в изобретательную облегченную модель возникновения. Изобретательная модель не водит duplicate информацию и не требует, что меньше память хранит изобретательная модель. В виду того что изобретательная модель возникновения более мала чем полная модель возникновения, сложные конструкции цепи, например микропроцессоры, могут быть представлены изобретательной облегченной моделью возникновения. Таким образом, низкие ровные характеристики конструкции, например, задержк, могут быть расмотрены.
