{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:47:53Z","timestamp":1730281673705,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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,6]]},"DOI":"10.1109\/meco.2019.8760283","type":"proceedings-article","created":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T00:10:34Z","timestamp":1563235834000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Equivalent Transformations of Structurally Synthesized BDDs and Applications"],"prefix":"10.1109","author":[{"given":"Lembit","family":"Jurimagi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Ubar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Viies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2017.7906743"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ETSYM.2010.5512763"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2004.1333273"},{"key":"ref30","article-title":"Area, power and temperature optimization during BDD based circuit synthesis","author":"das","year":"2017","journal-title":"Devices For Integrated Circuits"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.2298\/FUEE1103325P"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.137"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2005.1594201"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1992.205890"},{"key":"ref11","first-page":"272","article-title":"Zero-suppressed BDDs for set manipulation in combinational problems","author":"minato","year":"1909","journal-title":"Proc 30th DAC"},{"key":"ref12","article-title":"Algebraic DDs and their applications","author":"bahar","year":"1993","journal-title":"ICCAD"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217583"},{"key":"ref14","first-page":"408","article-title":"Efficient OBDD-manipulation in CAD beyond current limits","author":"bern","year":"1995","journal-title":"DAC"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1385-4_4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/9780470289228"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/54.485782"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4018\/ACEE"},{"key":"ref19","first-page":"157","article-title":"SSBDDs: Advantageous Model and Efficient Algorithms for Digital Circuit Modeling, Simulation & Test","author":"jutman","year":"2002","journal-title":"5th WS on Boolean Problems"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt.2011.0051"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/INTECH.2013.6653717"},{"key":"ref3","article-title":"Test Generation for Digital Circuits Using Alternative Graphs","author":"ubar","year":"1976","journal-title":"Proc Tallinn Technical Univ"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1385-4"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS.2010.5724590"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref8","article-title":"Shared BDDs with attributed edges for efficient Boolean function manipulation","author":"minato","year":"1990","journal-title":"27th ICCAD"},{"journal-title":"BDDs","year":"1998","author":"drechsler","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","article-title":"Representation of Switching Circuits by Binary Decision Diagrams","volume":"38","author":"lee","year":"1959","journal-title":"Bell System Tech J"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470289228"},{"key":"ref20","first-page":"6","article-title":"On the OBDD-representation of general Boolean functions","volume":"c 41","author":"liaw","year":"1992","journal-title":"IEEE Trans on Comp"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0226"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456929"},{"key":"ref24","article-title":"Multiple SAF Detection Theorem","author":"ubar","year":"2012","journal-title":"15th IEEE DDECS"},{"key":"ref23","first-page":"9","article-title":"Exact Parallel Critical Path Fault Tracing to Speed-Up Fault Simulation in Sequential Circuits","volume":"9","author":"k\u00f5usaar","year":"2018","journal-title":"J of Micro-electronics and Computer Science"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46097-0_2"},{"key":"ref25","article-title":"Structural Fault Collapsing by Superposition of BDDs for Test Generation","author":"ubar","year":"2010","journal-title":"ISQED"}],"event":{"name":"2019 8th Mediterranean Conference on Embedded Computing (MECO)","start":{"date-parts":[[2019,6,10]]},"location":"Budva, Montenegro","end":{"date-parts":[[2019,6,14]]}},"container-title":["2019 8th Mediterranean Conference on Embedded Computing (MECO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8752173\/8759882\/08760283.pdf?arnumber=8760283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:19:19Z","timestamp":1657855159000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8760283\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/meco.2019.8760283","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}