Generalized constraint generation in the presence of non-deterministic parasitics (1996)

by E Charbon, P Miliozzi, E Malavasi, A L Sangiovanni-Vincentelli
Venue:In Proc. IEEE International Conference on Computer Aided Design