US 7,322,016 B2 | ||
Impact checking technique | ||
Monica Farkash, Haifa (Israel); and Shmuel Ur, D.N. Misgav (Israel) | ||
Assigned to International Business Machines Corporation, Armonk, N.Y. (US) | ||
Filed on Jan. 11, 2005, as Appl. No. 11/34,420. | ||
Prior Publication US 2006/0156261 A1, Jul. 13, 2006 | ||
Int. Cl. G06F 17/50 (2006.01) |
U.S. Cl. 716—4 [716/5] | 6 Claims |
1. A method for checking for an impact of a component of a design, the method comprising:
receiving a design for review;
generating an altered version of said design with said component removed;
providing said altered version and said design to at least one of an equivalence checker and a model checker; and
indicating that said impact exists if said at least one of said equivalence checker and said model checker determines that
a difference exists between outputs of said altered version and said design wherein said determining comprises: sequentially
marking components of said design with a variable; and reviewing BDDs representing states of said design to determine when
said variable is no longer present in the BDDs, and wherein said generating comprises determining which components to remove.
|