Automatic generation of hardware design properties from simulation traces.

Eman El Mandouh, Amr G. Wassal

Browse the full ISCAS paper archive.