A Survey of Machine Learning Applications in Functional Verification Author(s): Dan Yu, Harry Foster, Tom Fitzpatrick Download