Automatic assertion extraction via sequential data mining of simulation traces.

Po-Hsien Chang, Li-C. Wang

Browse the full ASPDAC paper archive.