{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:55:14Z","timestamp":1725897314471},"publisher-location":"Wiesbaden","reference-count":27,"publisher":"Vieweg+Teubner Verlag","isbn-type":[{"type":"print","value":"9783815420331"},{"type":"electronic","value":"9783322952332"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-322-95233-2_2","type":"book-chapter","created":{"date-parts":[[2013,4,17]],"date-time":"2013-04-17T01:17:04Z","timestamp":1366161424000},"page":"21-39","source":"Crossref","is-referenced-by-count":8,"title":["Synthesis for Testability: Binary Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"2_CR1","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"C-27","author":"SB Akers","year":"1978","unstructured":"S. B. Akers. Binary decision diagrams. IEEE Transactions on Computers, C-27(6):509\u2013516, June 1978.","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR2","first-page":"75","volume-title":"9th Int. Symposium on Fault Tolerant Computing","author":"SB Akers","year":"1979","unstructured":"S. B. Akers. Functional testing with binary decision diagrams. In 9th Int. Symposium on Fault Tolerant Computing, pages 75\u201382, 1979."},{"key":"2_CR3","first-page":"554","volume-title":"Proc. IEEE Int. Test Conference","author":"P Banerjee","year":"1983","unstructured":"P. Banerjee and J.A. Abraham. Generating tests for physical failures in MOS logic circuits. In Proc. IEEE Int. Test Conference, pages 554\u2013559, 1983."},{"key":"2_CR4","first-page":"35","volume-title":"Proc. IEEE Int. Test Conference","author":"CC Beh","year":"1982","unstructured":"C.C. Beh, K.H. Aray, C.E. Radke, and K.E. Torku. Do stuck-at fault models reflect manufacturing defects? In Proc. IEEE Int. Test Conference, pages 35\u201342, 1982."},{"key":"2_CR5","first-page":"174","volume-title":"Proc. of the 1st European Design Automation Conference (EDAC90)","author":"B Becker","year":"1990","unstructured":"B. Becker, T. Burch, G. Hotz, D. Kiel, R. Kolla, P. Molitor, H.G. Osthof, G. Pitsch, and U. Sparmann. A graphical system for hierarchical specifications and checkups of VLSI circuits. In Proc. of the 1st European Design Automation Conference (EDAC90), pages 174\u2013179, 1990."},{"key":"2_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-95424-5","volume-title":"Diagnosis & reliable design of digital systems","author":"MA Breuer","year":"1976","unstructured":"M. A. Breuer and A.D. Friedman. Diagnosis & reliable design of digital systems. Computer Science Press, 1976."},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1145\/37888.37992","volume-title":"Proceedings of the 24th Design Automation Conference","author":"B Becker","year":"1987","unstructured":"B. Becker, G. Hotz, R. Kolla, P. Molitor, and H.G. Osthof. Hierarchical design based on a calculus of nets. In Proceedings of the 24th Design Automation Conference, pages 649\u2013653, June 1987."},{"key":"2_CR8","first-page":"40","volume-title":"Proc. 25th Design Automation Conference","author":"KS Brace","year":"1990","unstructured":"K. S. Brace, R. L. Rudell, and R.E. Bryant. Efficient implementation of a BDD package. In Proc. 25th Design Automation Conference, pages 40\u201345, 1990."},{"issue":"8","key":"2_CR9","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"RE Bryant","year":"1986","unstructured":"R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677\u2013691, 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR10","first-page":"288","volume-title":"Proc. of the 3rd Aegean Workshop on Parallel Computation and VLSI Theory, Lecture Notes in Comput. Sci. 319","author":"B Becker","year":"1988","unstructured":"B. Becker and U. Sparmann. A uniform test approach for RCC-Adders. In Proc. of the 3rd Aegean Workshop on Parallel Computation and VLSI Theory, Lecture Notes in Comput. Sci. 319, pages 288\u2013300, 1988."},{"key":"2_CR11","first-page":"4","volume-title":"Proc. IEEE Int. Test Conference","author":"S Devadas","year":"1988","unstructured":"S. Devadas, H.K.T. Ma, R. Newton, and A. Sangiovanni-Vincentelli. Optimal logic synthesis and testability: two faces of the same coin. In Proc. IEEE Int. Test Conference, pages 4\u201312, 1988."},{"key":"2_CR12","first-page":"475","volume-title":"Proc. IEEE Int. Test Conference","author":"FJ Ferguson","year":"1988","unstructured":"F.J. Ferguson and J.P. Chen. Extraction and simulation of realistic CMOS faults using inductive fault analysis. In Proc. IEEE Int. Test Conference, pages 475\u2013484, 1988."},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"1061","DOI":"10.1109\/T-C.1973.223651","volume":"22","author":"A.D. Friedman","year":"1973","unstructured":"A.D. Friedman. Easily testable iterative systems. IEEE Transactions on Computers, C-22:1061\u20131064, December 1973.","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4317.001.0001","volume-title":"Logic Testing and Design for Testabilty","author":"H Fujiwara","year":"1985","unstructured":"H. Fujiwara. Logic Testing and Design for Testabilty. The MIT Press, 1985."},{"issue":"6","key":"2_CR15","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1109\/TC.1980.1675614","volume":"C-29","author":"J Galiay","year":"1980","unstructured":"J. Galiay, Y. Crouzet, and M. Vergniault. Physical versus logical fault models MOS LSI circuits: impact on their testability. IEEE Transactions on Computers, C-29(6):527\u2013531, June 1980.","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR16","first-page":"129","volume-title":"Proc. IEEE Int. Test Conference","author":"P Lamoureux","year":"1983","unstructured":"P. Lamoureux and V.K. Agarwal. Non-stuck-at fault detection in NM OS circuits by region analysis. In Proc. IEEE Int. Test Conference, pages 129\u2013137, 1983."},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","volume":"38","author":"CY Lee","year":"1959","unstructured":"C.Y. Lee. Representation of switching circuits by binary decision programs. Bell Systems Technical Journal, 38:985\u2013999, 1959.","journal-title":"Bell Systems Technical Journal"},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/37888.37914","volume-title":"Proc. 24th Design Automation Conference","author":"W Maly","year":"1987","unstructured":"W. Maly. Realistic fault modeling for VLSI testing. In Proc. 24th Design Automation Conference, pages 173\u2013180, 1987."},{"key":"2_CR19","volume-title":"Modified Branching Programs and Their Computational Power. volume 370 of LNCS","author":"C Meinel","year":"1989","unstructured":"C. Meinel. Modified Branching Programs and Their Computational Power. volume 370 of LNCS, Springer Verlag, 1989."},{"key":"2_CR20","first-page":"143","volume":"10","author":"B Milne","year":"1985","unstructured":"B. Milne. Testability, 1985 technology forecast. Electronic Design, 10:143\u2013166, 1985.","journal-title":"Electronic Design"},{"key":"2_CR21","volume-title":"Proc. of the 26th Design Automation Conference","author":"MH Schulz","year":"1989","unstructured":"M.H. Schulz, F. Fink, and K. Fuchs. Parallel pattern fault simulation of path delay faults. In Proc. of the 26th Design Automation Conference, June 1989."},{"key":"2_CR22","first-page":"342","volume-title":"Proc. of IEEE Int. Test Conference","author":"GL Smith","year":"1985","unstructured":"G.L. Smith. A model for delay faults based upon paths. In Proc. of IEEE Int. Test Conference, pages 342\u2013349, September 1985."},{"doi-asserted-by":"crossref","unstructured":"R.L. Wadsack. Fault modeling and logic simulation of CMOS and MOS integrated circuits. The Bell System Technical Journal, 57, 1978.","key":"2_CR23","DOI":"10.1002\/j.1538-7305.1978.tb02106.x"},{"key":"2_CR24","first-page":"282","volume-title":"Proc. IEEE Int. Test Conference","author":"TW Williams","year":"1986","unstructured":"T.W. Williams, W. Daehn, M. Gr\u00fctzner, and C.W. Starke. Comparison of aliasing errors for primitive and non-primitive polynomials. In Proc. IEEE Int. Test Conference, pages 282\u2013288, 1986."},{"key":"2_CR25","volume-title":"The Complexity of Boolean functions","author":"I Wegener","year":"1987","unstructured":"I. Wegener. The Complexity of Boolean functions. Wiley Teubner, 1987."},{"key":"2_CR26","first-page":"542","volume-title":"Proc. IEEE Int. Test Conference","author":"JA Waicukauski","year":"1986","unstructured":"J.A. Waicukauski, E. Lindbloom, B. Rosen, and V. Iyengar. Transition fault simulation by parallel pattern single fault propagation. In Proc. IEEE Int. Test Conference, pages 542\u2013549, September 1986."},{"key":"2_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-76289-5","volume-title":"Hochintegrierte Schaltungen: Pr\u00fcf gerechter Entwurf und Test","author":"HJ Wunderlich","year":"1991","unstructured":"H.J. Wunderlich. Hochintegrierte Schaltungen: Pr\u00fcf gerechter Entwurf und Test. Springer Verlag, 1991."}],"container-title":["TEUBNER-TEXTE zur Informatik","Informatik"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-322-95233-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T22:40:54Z","timestamp":1688164854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-322-95233-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783815420331","9783322952332"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-322-95233-2_2","relation":{},"ISSN":["1615-4584"],"issn-type":[{"type":"print","value":"1615-4584"}],"subject":[],"published":{"date-parts":[[1992]]}}}