A method includes determining whether or not a statement in a design has any functionality. The functionality includes impact on the operation of the design. Also included in the invention is in impact checker to determine the impact of portions of the design on the operation of the design.

 
Web www.patentalert.com

< System and method of adjusting display characteristics of a displayable data file using an ergonomic computer input device

> Method for verification using reachability overapproximation
~ 00407