Characteristic polynomial method for verification and test of combinational circuits.

Vishwani D. Agrawal, David Lee

Browse the full VLSID paper archive.