Accurate logic simulation in the presence of unknowns.

Susheel J. Chandra, Janak H. Patel

Browse the full ICCAD paper archive.