Li-C. Wang

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Automatic assertion extraction via sequential data mining of simulation traces

Po-Hsien Chang and others (2010) · Asia and South Pacific Design Automation Conference (ASP-DAC)

Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis

Onur Guzey and others (2010) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers

Coverage-directed test generation through automatic constraint extraction

Onur Guzey and others (2007) · Proceedings · Institute of Electrical and Electronics Engineers