{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T16:10:12Z","timestamp":1790093412137,"version":"4.0.1"},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1814920"],"award-info":[{"award-number":["1814920"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"DoD Army Research Office","doi-asserted-by":"publisher","award":["W911NF-19-1-0484"],"award-info":[{"award-number":["W911NF-19-1-0484"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,1]]},"DOI":"10.1109\/tcad.2021.3054603","type":"journal-article","created":{"date-parts":[[2021,1,26]],"date-time":"2021-01-26T20:55:45Z","timestamp":1611694545000},"page":"15-28","source":"Crossref","is-referenced-by-count":27,"title":["Approximate Logic Synthesis Using Boolean Matrix Factorization"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4916-4033","authenticated-orcid":false,"given":"Jingxiao","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1830-0346","authenticated-orcid":false,"given":"Soheil","family":"Hashemi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8232-4516","authenticated-orcid":false,"given":"Sherief","family":"Reda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196001"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715274"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611974317.5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-015-9257-1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2505723"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2013.6569370"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025133"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3205289.3205317"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2925426.2926255"},{"key":"ref10","first-page":"13","article-title":"SAGE: Self-tuning approximation for graphics engines","volume-title":"Proc. 46th Annu. IEEE\/ACM Int. Symp. Microarchitect.","author":"Samadi"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054203"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2248487.2151008"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1961296.1950391"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2015.27"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ECCTD.2011.6043592"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228509"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372600"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2011.51"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2897965"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045504"},{"key":"ref21","first-page":"1","article-title":"Approximate integer and floating-point dividers with near-zero error bias","volume-title":"Proc. IEEE 56th Design Autom. Conf.","author":"Saadat"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2016.2598283"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228504"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.377"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.280"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691202"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2017.11"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342133"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2018.8465838"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342067"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2017.2657799"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351238"},{"key":"ref33","first-page":"1","article-title":"Partition and propagate: An error derivation algorithm for the design of approximate circuits","volume-title":"Proc. 56th Design Autom. Conf.","author":"Scarabottolo"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7926980"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2627369.2627613"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342029"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062333"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2008.53"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1038\/44565"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/860435.860485"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2020408.2020424"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2601437"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2007.99"},{"key":"ref44","first-page":"945","article-title":"Boolean matrix factorization and noisy completion via message passing","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Ravanbakhsh"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1155\/2000\/19436"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456946"},{"key":"ref47","volume-title":"The ISCAS;85 Benchmark Circuits and Netlist Format","author":"Bryan","year":"1985"},{"key":"ref48","first-page":"72","article-title":"The EPFL combinational benchmark suite","volume-title":"Proc. 24th Int. Workshop Logic Synth.","author":"Amar\u00fa"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref50","volume-title":"Yosys Open Synthesis Suite","author":"Wolf","year":"2016"},{"key":"ref51","volume-title":"OpenSTA","author":"Cherry","year":"2018"},{"key":"ref52","article-title":"Approximate logic synthesis using BLASYS","volume-title":"Proc. Workshop Open Source EDA Technol.","author":"Ma"},{"key":"ref53","volume-title":"Icarus verilog","author":"Williams","year":"2006"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942145"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/43\/9660612\/9335989-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9660612\/09335989.pdf?arnumber=9335989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T00:19:47Z","timestamp":1704845987000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9335989\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1]]},"references-count":54,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3054603","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1]]}}}