{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:29Z","timestamp":1750307909015,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1228784.1228856","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:41:00Z","timestamp":1175802060000},"page":"287-292","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Synthesis of irregular combinational functions with large don't care sets"],"prefix":"10.1145","author":[{"given":"V.","family":"Gherman","sequence":"first","affiliation":[{"name":"Laboratoire Calculateurs Embarqu\u00e9s et Image, Gif sur Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.-J.","family":"Wunderlich","sequence":"additional","affiliation":[{"name":"Universitaet Stuttgart, Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. D.","family":"Mascarenhas","sequence":"additional","affiliation":[{"name":"Universitaet Stuttgart, Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Schloeffel","sequence":"additional","affiliation":[{"name":"NXP Semiconductors, Hamburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Garbers","sequence":"additional","affiliation":[{"name":"NXP Semiconductors, Hamburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"27","article-title":"Binary Decision Diagrams","author":"Akers S.B.","year":"1978","unstructured":"S.B. Akers \" Binary Decision Diagrams ,\" Trans. on Computers , Vol. C - 27 , No. 6, 1978 , 509--516. S.B. Akers \"Binary Decision Diagrams,\" Trans. on Computers, Vol. C-27, No. 6, 1978, 509--516.","journal-title":"Trans. on Computers"},{"key":"e_1_3_2_1_2_1","volume-title":"Binary Decision Diagrams,\" STACS. LNCS","author":"Synthesis For Testability B.","year":"1992","unstructured":"B. Becker \" Synthesis For Testability : Binary Decision Diagrams,\" STACS. LNCS , Vol. 577 , Springer Verlag , 1992 , 501--512. B. Becker \"Synthesis For Testability: Binary Decision Diagrams,\" STACS. LNCS, Vol. 577, Springer Verlag, 1992, 501--512."},{"key":"e_1_3_2_1_3_1","first-page":"1081","article-title":"MIS: A Multiple-Level Logic Optimization System","volume":"1062","author":"Brayton R.K.","year":"1987","unstructured":"R.K. Brayton \" MIS: A Multiple-Level Logic Optimization System ,\" Trans. on CAD , 1987 , 1062 -- 1081 . R.K. Brayton et al. \"MIS: A Multiple-Level Logic Optimization System,\" Trans. on CAD, 1987, 1062--1081.","journal-title":"Trans. on CAD"},{"key":"e_1_3_2_1_4_1","volume-title":"Logic Minimization Algorithms for VLSI Synthesis,\" Kluver Academic Publishers","author":"Brayton R.K.","year":"1997","unstructured":"R.K. Brayton \" Logic Minimization Algorithms for VLSI Synthesis,\" Kluver Academic Publishers , 1997 . R.K. Brayton et al. \"Logic Minimization Algorithms for VLSI Synthesis,\" Kluver Academic Publishers, 1997."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.73590"},{"key":"e_1_3_2_1_7_1","volume-title":"European Design and Test Conference","author":"Chang S.-C.","year":"1994","unstructured":"S.-C. Chang OBDD Size of Incompletely Specified Multiple Output Functions,\" European Design and Test Conference , 1994 , 620--624. S.-C. Chang et al. \"Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions,\" European Design and Test Conference, 1994, 620--624."},{"key":"e_1_3_2_1_8_1","volume-title":"IFIP International Workshop on Applied Formal Methods for Correct VLSI Design","author":"Coudert O.","year":"1989","unstructured":"O. Coudert IFIP International Workshop on Applied Formal Methods for Correct VLSI Design , 1989 , 111--128. O. Coudert et al. \"Verification of Sequential Machines using Boolean Functional Vectors,\" IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, 1989, 111--128."},{"key":"e_1_3_2_1_9_1","first-page":"373","article-title":"Verification of Synchronous Sequential Machines Based on Symbolic Execution","volume":"365","author":"Coudert O.","year":"1990","unstructured":"O. Coudert , J. Madre \" Verification of Synchronous Sequential Machines Based on Symbolic Execution ,\" Automatic Verification Methods for Finite State Systems, Springer-Verlag , 1990 , 365 -- 373 . O. Coudert, J. Madre \"Verification of Synchronous Sequential Machines Based on Symbolic Execution,\" Automatic Verification Methods for Finite State Systems, Springer-Verlag, 1990, 365--373.","journal-title":"Automatic Verification Methods for Finite State Systems, Springer-Verlag"},{"key":"e_1_3_2_1_10_1","first-page":"48","volume-title":"Int. Test Conference","author":"Gherman V.","year":"2004","unstructured":"V. Gherman Int. Test Conference , 2004 , pp. 48 -- 56 . V. Gherman et al. \"Efficient Pattern Mapping for Deterministic Logic BIST,\" Int. Test Conference, 2004, pp. 48--56."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-9260(02)00041-X"},{"key":"e_1_3_2_1_12_1","first-page":"439","volume-title":"Int. Conference on Computer Aided Design","author":"Hlavicka J.","year":"2001","unstructured":"J. Hlavicka , P. Fiser \"BOOM - a Heuristic Boolean Minimizer ,\" Int. Conference on Computer Aided Design , 2001 , pp. 439 -- 442 . J. Hlavicka, P. Fiser \"BOOM - a Heuristic Boolean Minimizer,\" Int. Conference on Computer Aided Design, 2001, pp. 439--442."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.822619"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/872025.872639"},{"key":"e_1_3_2_1_15_1","volume-title":"Symposium on Information Processing (FCIP 69)","volume":"3","author":"Quasi-Minimal R.","year":"1969","unstructured":"R. Michalski \"On the Quasi-Minimal Solution of the General Covering Problem,\" Int . Symposium on Information Processing (FCIP 69) (Switching Circuits) , Vol. A 3 , 1969 , 125--128. R. Michalski \"On the Quasi-Minimal Solution of the General Covering Problem,\" Int. Symposium on Information Processing (FCIP 69) (Switching Circuits), Vol. A3, 1969, 125--128."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"S. Minato \"Binary Decision Diagrams and Applications For VLSI Computer-Aided Design \" Kluver Academic Publishers 1997.   S. Minato \"Binary Decision Diagrams and Applications For VLSI Computer-Aided Design \" Kluver Academic Publishers 1997.","DOI":"10.1007\/978-1-4613-1303-8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.736442"},{"key":"e_1_3_2_1_18_1","volume-title":"Int. Conference on Computer-Aided Design","author":"Panda S.","year":"1994","unstructured":"S. Panda Int. Conference on Computer-Aided Design , San Jose, CA , 1994 , 628--631. S. Panda et al. \"Symmetry Detection and Dynamic Variable Ordering of Decision Diagrams,\" Int. Conference on Computer-Aided Design, San Jose, CA, 1994, 628--631."},{"key":"e_1_3_2_1_19_1","volume-title":"Test Conf.","author":"Rajski J.","year":"2002","unstructured":"J. Rajski deterministic test for low cost manufacturing test,\" Int . Test Conf. , 2002 , 301--310. J. Rajski et al. \"Embedded deterministic test for low cost manufacturing test,\" Int. Test Conf., 2002, 301--310."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.543775"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.743706"},{"key":"e_1_3_2_1_22_1","first-page":"333","article-title":"Sequential Circuit Design Using Synthesis and Optimization","volume":"328","author":"Sentovich E.","year":"1992","unstructured":"E. Sentovich \" Sequential Circuit Design Using Synthesis and Optimization ,\" ICCD , 1992 , 328 -- 333 . E. Sentovich et al. \"Sequential Circuit Design Using Synthesis and Optimization,\" ICCD, 1992, 328--333.","journal-title":"ICCD"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196360"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00078-W"},{"key":"e_1_3_2_1_25_1","volume-title":"Test Conference","author":"Tang Y.","year":"2004","unstructured":"Y. Tang BIST and its Impact on Defect Coverage,\" Int . Test Conference , 2004 , 442--451. Y. Tang et al. \"X-Masking during Logic BIST and its Impact on Defect Coverage,\" Int. Test Conference, 2004, 442--451."},{"key":"e_1_3_2_1_26_1","volume-title":"Int. Test Conf.","author":"Touba N.A.","year":"1996","unstructured":"N.A. Touba , E.J. McCluskey \"Altering a Pseudo-random Bit Sequence for Scan-Based BIST,\" Int. Test Conf. , 1996 , 167--175. N.A. Touba, E.J. McCluskey \"Altering a Pseudo-random Bit Sequence for Scan-Based BIST,\" Int. Test Conf., 1996, 167--175."},{"key":"e_1_3_2_1_27_1","unstructured":"http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/cuddIntro.html  http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/cuddIntro.html"},{"key":"e_1_3_2_1_28_1","unstructured":"http:\/\/www.ra.informatik.unistuttgart.de\/~ghermanv\/benchmarks\/index.phtml  http:\/\/www.ra.informatik.unistuttgart.de\/~ghermanv\/benchmarks\/index.phtml"}],"event":{"name":"GLSVLSI07: Great Lakes Symposium on VLSI 2007","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"Stresa-Lago Maggiore Italy","acronym":"GLSVLSI07"},"container-title":["Proceedings of the 17th ACM Great Lakes symposium on VLSI"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1228784.1228856","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1228784.1228856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:46Z","timestamp":1750258066000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1228784.1228856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":28,"alternative-id":["10.1145\/1228784.1228856","10.1145\/1228784"],"URL":"https:\/\/doi.org\/10.1145\/1228784.1228856","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}