{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:19:31Z","timestamp":1740100771765,"version":"3.37.3"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:00:00Z","timestamp":1649203200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:00:00Z","timestamp":1649203200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,4,6]]},"DOI":"10.1109\/isqed54688.2022.9806278","type":"proceedings-article","created":{"date-parts":[[2022,6,29]],"date-time":"2022-06-29T19:46:20Z","timestamp":1656531980000},"page":"58-63","source":"Crossref","is-referenced-by-count":2,"title":["Formal Analysis of Integer Multipliers by building Binary Decision Diagram of Adder Trees"],"prefix":"10.1109","author":[{"given":"Jitendra","family":"Kumar","sequence":"first","affiliation":[{"name":"Jawaharlal Nehru University,School of Computer & Systems Sciences,New Delhi,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Asutosh","family":"Srivastava","sequence":"additional","affiliation":[{"name":"Jawaharlal Nehru University,School of Computer & Systems Sciences,New Delhi,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[{"name":"The University of Tokyo,VDEC,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TCAD.2017.2772854"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.23919\/DATE48585.2020.9116485"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/3316781.3317898"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.23919\/FMCAD.2017.8102237"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.23919\/FMCAD.2019.8894250"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-3-642-14295-6_5"},{"year":"0","article-title":"Homma laboratory, arithmetic module generator","key":"ref16"},{"year":"0","article-title":"Genmul","key":"ref17"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/127601.127703"},{"year":"0","article-title":"Bdd packages","key":"ref19"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/DAC.1995.250005"},{"key":"ref3","first-page":"1","article-title":"A simple bdd package without variable reordering and its application to logic optimization with permissible functions","author":"miyasaka","year":"2019","journal-title":"Proc of the International Workshop on Logic Synthesis"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/12.644298"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/ICCAD.1995.479995"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.3233\/SAT190101"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-0-387-69167-1"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/12.73590"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/TC.1986.1676819"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/j.micpro.2015.01.007"},{"year":"0","author":"somenzi","article-title":"Cudd: Cu decision diagram package","key":"ref20"}],"event":{"name":"2022 23rd International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2022,4,6]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2022,4,7]]}},"container-title":["2022 23rd International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9806045\/9806137\/09806278.pdf?arnumber=9806278","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T20:14:20Z","timestamp":1658780060000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9806278\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/isqed54688.2022.9806278","relation":{},"subject":[],"published":{"date-parts":[[2022,4,6]]}}}