Automatic generation and verification of sufficient correctness properties for synchronous processors.

Filip Van Aelten, Stan Y. Liao, Jonathan Allen, Srinivas Devadas

Browse the full ICCAD paper archive.