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
OG exemplary drawing
 
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.