VERILAT: verification using logic augmentation and transformations.

Dhiraj K. Pradhan, Debjyoti Paul, Mitrajit Chatterjee

Browse the full ICCAD paper archive.