{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:03:38Z","timestamp":1730225018592,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/hldvt.2016.7748265","type":"proceedings-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T21:23:51Z","timestamp":1479763431000},"page":"121-127","source":"Crossref","is-referenced-by-count":1,"title":["Estimation of formal verification cost using regression machine learning"],"prefix":"10.1109","author":[{"given":"Eman El","family":"Mandouh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amr G.","family":"Wassal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"268","article-title":"Early Formal Verification of Conditional Coverage Points to Identify Intrinsically Hard-to-Verify Logic","author":"richard ho","year":"2008","journal-title":"Design Automation Conference DAC"},{"year":"0","key":"ref11"},{"article-title":"Introduction to Linear Regression Analysis, 5th Edition","year":"2012","author":"montgomery","key":"ref12"},{"article-title":"A Complete Tutorial on Ridge and Lasso Regression in Python","year":"2016","author":"jain","key":"ref13"},{"key":"ref14","article-title":"Machine Learning: Regression, University of Washington","author":"fox","year":"2015","journal-title":"Coursera"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1214\/09-SS054"},{"key":"ref16","article-title":"Gradient Directed Regularization for Linear Regression and Classification","author":"friedman","year":"2014","journal-title":"Department of Statistics and Stanford Linear Accelerator Center Stanford University"},{"key":"ref17","article-title":"Regression Shrinkage and Selection Via the Lasso","volume":"73","author":"tibshirani","year":"2011","journal-title":"The Journal of the Royal Statistical Society"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1214\/07-AOAS147"},{"year":"0","key":"ref19"},{"key":"ref4","article-title":"The Process and Proof for Formal Sign-Off - A Live Case Study","author":"tripathi","year":"2016","journal-title":"Design and Verification Conference"},{"key":"ref3","first-page":"300","article-title":"Coverage Estimation For Symbolic Model Checking","author":"hoskote","year":"0","journal-title":"Proceedings of the 36th Annual ACM\/IEEE Design Automation Conference"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.85"},{"article-title":"Farmal Verification: An Essential Toolkit for Modern VLSI Design","year":"2015","author":"seligman","key":"ref5"},{"key":"ref8","first-page":"20","article-title":"Specification Metrics for Event-B Developments","author":"olszewska","year":"2010","journal-title":"Proceedings of CONQUEST"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.86.5"},{"key":"ref2","article-title":"What is formal verification?","author":"sanghavi","year":"2010","journal-title":"eetasia com EE Times-Asia"},{"key":"ref1","article-title":"Sign-off with Bounded Formal Verification Proofs","author":"kim","year":"2014","journal-title":"Design and Verification Conference"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1596"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2307\/2685209"}],"event":{"name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2016,10,7]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2016,10,8]]}},"container-title":["2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7746774\/7748241\/07748265.pdf?arnumber=7748265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,7]],"date-time":"2016-12-07T12:24:11Z","timestamp":1481113451000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7748265\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2016.7748265","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}