Automatic High Level Assertion Generation and Synthesis for Embedded System Design.

Lun Li, Frank P. Coyle, Mitchell A. Thornton

Browse the full FDL paper archive.