In accordance with the present invention there is provided a method for performing a glitch check in simulating a circuit. Current maximum and minimum values for optimization parameters of the circuit are determined. Next, a signal pulse characteristic for the circuit simulation is determined based on...http://www.google.fr/patents/US7231336?utm_source=gb-gplus-shareBrevet US7231336 - Glitch and metastability checks using signal characteristics
Glitch and metastability checks using signal characteristics