Eman El Mandouh, Amr G. Wassal. Estimation of formal verification cost using regression machine learning. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2016, Santa Cruz, CA, USA, October 7-8, 2016. pages 121-127, IEEE, 2016. [doi]
Abstract is missing.