Using Combinational Verification for Sequential Circuits.

Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton

Browse the full DATE paper archive.