{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T05:53:27Z","timestamp":1725429207322},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1109\/dsd.2007.4341525","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:45:59Z","timestamp":1191937559000},"page":"563-569","source":"Crossref","is-referenced-by-count":2,"title":["On the Construction of Small Fully Testable Circuits with Low Depth"],"prefix":"10.1109","author":[{"given":"Gorschwin","family":"Fey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Bernasconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Ciriani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TCAD.2003.816216"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TCAD.2004.823342"},{"key":"ref12","first-page":"37","article-title":"AOXMIN-MV: A Heuristic Algorithm for AND-OR-XOR Minimization","author":"dubrova","year":"1999","journal-title":"4th Int Workshop on the Applications of the Reed Muller Expansion in Circuit Design"},{"key":"ref13","first-page":"1214","article-title":"New Three-Level Boolean Expression Based on EXOR Gates","author":"ishikawa","year":"2004","journal-title":"IEICE Transactions on Information and Systems"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/12.754996"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ICCAD.1993.580029"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/TCAD.1987.1270318"},{"key":"ref17","article-title":"SIS: A system for sequential circuit synthesis","author":"sentovich","year":"1992","journal-title":"Technical Report"},{"year":"1993","author":"weste","article-title":"Principles of CMOS VLSI Design","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-642-95424-5"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/DAC.1990.114826"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/TCAD.2003.818121"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/TC.1986.1676819"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TCAD.2005.862746"},{"key":"ref7","first-page":"133","article-title":"2-SPP: a Practical Trade-Off between SP and SPP Synthesis","author":"ciriani","year":"2002","journal-title":"Proc of 5th International Workshop on Boolean Problems (IWSBP'02)"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/DATE.2006.244121"},{"key":"ref1","first-page":"501","article-title":"Synthesis for testability: Binary decision diagrams","author":"becker","year":"1992","journal-title":"Symp on Theoretical Aspects of Comp Science Volume 577 of LNCS"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ISMVL.1999.779702"}],"event":{"name":"10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)","start":{"date-parts":[[2007,8,29]]},"location":"Lubeck, Germany","end":{"date-parts":[[2007,8,31]]}},"container-title":["10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341432\/4341433\/04341525.pdf?arnumber=4341525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T13:19:43Z","timestamp":1489670383000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341525\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/dsd.2007.4341525","relation":{},"subject":[],"published":{"date-parts":[[2007,8]]}}}