Methods and systems for designing integrated circuits. In one exemplary
method, a first plurality of points in a first representation of a circuit
are identified, and the first representation is modified to produce a
second representation for which a second plurality of points are
identified. The first representation is compared to the second
representation at the first plurality and second plurality of points to
determine whether the first representation is equivalent to the second
representation. Other features and embodiments are also described.
Методы и системы для конструировать интегрированные цепи. В одном примерном методе, определена первая множественность пунктов в первом представлении цепи, и первое представление доработано для того чтобы произвести второе представление для которого определена вторая множественность пунктов. Первое представление сравнено к второму представлению на первой множественности и второй множественности пунктов для того чтобы обусловить ли первое представление соответствующе к второму представлению. Другие характеристики и воплощения также описаны.
