{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T16:34:54Z","timestamp":1781886894636,"version":"3.54.5"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"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":[[2019,3]]},"DOI":"10.1109\/isqed.2019.8697679","type":"proceedings-article","created":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T03:49:36Z","timestamp":1556250576000},"page":"26-32","source":"Crossref","is-referenced-by-count":22,"title":["Approximate Logic Synthesis: A Reinforcement Learning-Based Technology Mapping Approach"],"prefix":"10.1109","author":[{"given":"Ghasem","family":"Pasandi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shahin","family":"Nazarian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Massoud","family":"Pedram","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7518-8_19"},{"key":"ref31","article-title":"Fraigs: Functionally reduced and-inv graphs","author":"mishchenko","year":"2004","journal-title":"International Conference on Computer Aided Design"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397290"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/54.867894"},{"key":"ref36","author":"yang","year":"1991","journal-title":"Logic Synthesis and Optimization Benchmarks User Guide Version 3 0"},{"key":"ref35","first-page":"677","article-title":"A Neutral Netlist of 10 Combinational Benchmark Circuits and a Target Translator in Fortran","author":"brglez","year":"1985","journal-title":"Proceedings of IEEE Int'l Symposium Circuits and Systems (ISCAS 85)"},{"key":"ref34","article-title":"The EPFL combinational benchmark suite","author":"amar\u00fa","year":"2015","journal-title":"Proc Int Workshop Logic Synthesis (IWLS)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3194554.3194626"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967021"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.48"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228504"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.280"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2897982"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691202"},{"key":"ref17","first-page":"957","article-title":"Approximate logic synthesis for error tolerant applications","author":"shin","year":"2010","journal-title":"Proceedings of the conference on Design Automation and Test in Europe"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2014.7001398"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203798"},{"key":"ref28","author":"mishchenko","year":"2005","journal-title":"Technology mapping with boolean matching supergates and choices"},{"key":"ref4","author":"smola","year":"2000","journal-title":"Sparse greedy matrix approximation for machine learning"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351603"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213439"},{"key":"ref6","author":"rezende","year":"2014","journal-title":"Stochastic backpropagation and approximate inference in deep generative models"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"ref5","first-page":"1050","article-title":"Dropout as a bayesian approximation: Representing model uncertainty in deep learning","author":"gal","year":"2016","journal-title":"International Conference on Machine Learning"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287722"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2017.11.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524386"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RADIOELEK.2016.7477392"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIP.2015.2462029"},{"key":"ref20","author":"sentovich","year":"1992","journal-title":"SIS A system for sequential circuit synthesis"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351885"},{"key":"ref21","year":"2001","journal-title":"Design Compiler User Guide"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351731"},{"key":"ref26","article-title":"ABC: A system for sequential synthesis and verification","author":"berkeley","year":"2011","journal-title":"Berkeley Logic Synthesis and Verification Group"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TASC.2018.2880343"}],"event":{"name":"2019 20th International Symposium on Quality Electronic Design (ISQED)","location":"Santa Clara, CA, USA","start":{"date-parts":[[2019,3,6]]},"end":{"date-parts":[[2019,3,7]]}},"container-title":["20th International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8682005\/8697223\/08697679.pdf?arnumber=8697679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:12:30Z","timestamp":1657854750000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8697679\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/isqed.2019.8697679","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}