Experiments in Automating Hardware Verification Using Inductive Proof Planning.

Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin

Browse the full FMCAD paper archive.