{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T20:15:02Z","timestamp":1773778502773,"version":"3.50.1"},"reference-count":4,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T00:00:00Z","timestamp":1634947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T00:00:00Z","timestamp":1634947200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T00:00:00Z","timestamp":1634947200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,23]]},"DOI":"10.1109\/niles53778.2021.9600502","type":"proceedings-article","created":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T22:22:11Z","timestamp":1637274131000},"page":"15-18","source":"Crossref","is-referenced-by-count":9,"title":["High Performance Machine Learning Models for Functional Verification of Hardware Designs"],"prefix":"10.1109","author":[{"given":"Khaled A.","family":"Ismail","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed A.","family":"Abd El Ghany","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"2825","article-title":"Scikit-learn: Machine learning in Python","author":"pedregosa","year":"2011","journal-title":"Journal of Machine Learning Research"},{"key":"ref3","article-title":"Improving Constrained Random Testing by Achieving Simulation Design Goals through Target Functions, Rewinding and Dynamic Seed Manipulation","author":"nelson","year":"2017","journal-title":"Design and Verification Conference"},{"key":"ref2","article-title":"Simulation Runtime Optimization of Constrained Random Verification using Machine Learning Algorithms","author":"ambalakkat","year":"2019","journal-title":"Design and Verification Conference (DVCON)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRC.2017.8123645"}],"event":{"name":"2021 3rd Novel Intelligent and Leading Emerging Sciences Conference (NILES)","location":"Giza, Egypt","start":{"date-parts":[[2021,10,23]]},"end":{"date-parts":[[2021,10,25]]}},"container-title":["2021 3rd Novel Intelligent and Leading Emerging Sciences Conference (NILES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9600478\/9600086\/09600502.pdf?arnumber=9600502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:50:49Z","timestamp":1652201449000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9600502\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,23]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/niles53778.2021.9600502","relation":{},"subject":[],"published":{"date-parts":[[2021,10,23]]}}}