Login / Signup

An efficient algorithm to verify generalized false paths.

Olivier Coudert
Published in: DAC (2010)
Keyphrases