{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:48:43Z","timestamp":1725724123153},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"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":[[2008,5]]},"DOI":"10.1109\/iscas.2008.4541733","type":"proceedings-article","created":{"date-parts":[[2008,6,16]],"date-time":"2008-06-16T16:26:17Z","timestamp":1213633577000},"page":"1576-1579","source":"Crossref","is-referenced-by-count":1,"title":["Utilizing synthesis to verify Boolean function models"],"prefix":"10.1109","author":[{"given":"Azam","family":"Beg","sequence":"first","affiliation":[{"name":"College of Information Technology, UAE University, Al-Am, United Arab Emirates"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.W.C.","family":"Prasad","sequence":"additional","affiliation":[{"name":"College of Information Technology, UAE University, Al-Am, United Arab Emirates"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Ibrahim","sequence":"additional","affiliation":[{"name":"College of Information Technology, UAE University, Al-Am, United Arab Emirates"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emad Abu","family":"Shama","sequence":"additional","affiliation":[{"name":"Tundra Semiconductor Corporation, 603 March Road, Kanata, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2006","author":"bhatnagar","journal-title":"Advanced ASIC Chip Synthesis Using Synopsys Design Compiler Physical Compiler and PrimeTime","key":"15"},{"year":"2007","article-title":"rtl-to-gates synthesis using synopsys design compiler","key":"16"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/54.785838"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/INNOVATIONS.2006.301966"},{"year":"2007","key":"11"},{"year":"0","key":"12"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1002\/j.1538-7305.1949.tb03624.x"},{"key":"2","article-title":"vlsi logic test, validation and verification, properties & applications of binary decision diagrams","author":"priyank","year":"0","journal-title":"Lecture Notes Department of Electrical and Computer Engineering University of Utah"},{"year":"1987","author":"wegener","journal-title":"The Complexity of Boolean Functions","key":"1"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/LPE.1996.547534"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.3844\/jcssp.2006.236.244"},{"year":"0","key":"6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1016\/j.vlsi.2005.06.002"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/ICVD.2005.93"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/TC.1986.1676819"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/TC.1978.1675141"}],"event":{"name":"2008 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2008,5,18]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2008,5,21]]}},"container-title":["2008 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4534149\/4541329\/04541733.pdf?arnumber=4541733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T01:24:20Z","timestamp":1708046660000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4541733\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iscas.2008.4541733","relation":{},"subject":[],"published":{"date-parts":[[2008,5]]}}}