{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:02Z","timestamp":1742598602071,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584261"},{"type":"electronic","value":"9783540487852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58426-9_129","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:00:47Z","timestamp":1330272047000},"page":"149-164","source":"Crossref","is-referenced-by-count":0,"title":["Test generation for digital systems based on alternative graphs"],"prefix":"10.1007","author":[{"given":"Raimund","family":"Ubar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"No.12","key":"9_CR1","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1016\/0898-1221(85)90102-6","volume":"11","author":"M.S. Abadir","year":"1985","unstructured":"Abadir M.S., Reghbati H.K. Functional specification and testing of logic circuits. Comp. I Math. with Appls. Vol. 11, No.12, pp. 1143\u20131153., 1985.","journal-title":"Comp. I Math. with Appls."},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1109\/TC.1980.1675604","volume":"C-29","author":"M. Abramovici","year":"1980","unstructured":"Abramovici M., Breuer M.A. Multiple fault diagnosis in combinational circuits based on an effect-cause analysis. IEEE Trans. Comp., vol. C-29, June, 1980, pp. 451\u2013460.","journal-title":"IEEE Trans. Comp."},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"S.B. Akers","year":"1978","unstructured":"Akers S.B. 1978). Binary decision diagrams. IEEE Trans. on Computers, Vol. 27, pp. 509\u2013516.","journal-title":"IEEE Trans. on Computers"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Anirudhan P.N., Menon P.R. Symbolic test generation for hierarchically modeled digital systems. 1989 International Test Conference, pp.461\u2013469.","DOI":"10.1109\/TEST.1989.82329"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Beenker F.P.M. et al. Macro testing: Unifying IC and board test. IEEE Design and test of computers. Dec. 1986, pp.26\u201332.","DOI":"10.1109\/MDT.1986.295048"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Calhoun J.D., Brglez F. A framework and method for hierarchical test generation. IEEE International Test Conference, 1989, pp.480\u2013490.","DOI":"10.1109\/TEST.1989.82331"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Chandra S.J., Patel J.H. A hierarchical approach to test vector generation. ACM\/IEEE 24th Design Automation Conf., June 1987, pp.495\u2013501.","DOI":"10.1145\/37888.37962"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Cheng K.-T., Jou J.-Y. Functional test generation for finite state machines. IEEE International Test Conference, 1990, pp.162\u2013168.","DOI":"10.1109\/TEST.1990.114014"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF00133499","volume":"2","author":"A. Ghosh","year":"1991","unstructured":"Ghosh A., Chakraborty T.J. On behavior fault modeling for digital designs. J. of Electronic Testing. Theory and Applications, 2, 135\u2013151 (1991).","journal-title":"J. of Electronic Testing. Theory and Applications"},{"key":"9_CR10","unstructured":"Giambiasi N. et. al. Test pattern generation for behavioral descriptions in VHDL. Proc. of the VHDL conference, Stockholm, 1991, pp.228\u2013234."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Gupta A.G., Armstrong J.R. Functional fault modeling and simulation for VLSI devices. ACM\/IEEE 22nd DAC, 1985, pp.720\u2013726.","DOI":"10.1109\/DAC.1985.1586022"},{"key":"9_CR12","unstructured":"Kobayashi K. Functional test data generation for hardware design verification. 1987 IEEE International Test Conferation, pp.547\u2013552."},{"key":"9_CR13","unstructured":"Krishnamurthy B. Hierarchical test generation: Can AI help? IEEE International Test Conference, Sept. 1987, pp.694\u2013700."},{"key":"9_CR14","unstructured":"Kuchcinski K. Towards automatic test pattern generation for VHDL description. Proc. of the VHDL conference, Stockholm. 1991."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Kunda R.P., Abraham J.A., Rathi B.D. Speedup of test generation using high-level primitive. ACM\/IEEE 27th DAC, pp.580\u2013586, June 1990.","DOI":"10.1145\/123186.123413"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Lee J., Patel J.H. An architectural level test generator for a hierarchical design environment. 21th Int.Symp. on FTC, June, 1991, pp.44\u201351.","DOI":"10.1109\/FTCS.1991.146631"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Leenstra J., Spaanenburg L. Hierarchical test assembly for macro based VLSI design. 1990 International Test Conference, pp.520\u2013529.","DOI":"10.1109\/TEST.1990.114063"},{"key":"9_CR18","unstructured":"Lin T., Su S.Y.H. VLSI functional test pattern generation \u2014 a design and implementation. 1985 International Test Conference, pp.922\u2013929."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Murray B.T., Hayes J.P. Hierarchical test generation using precomputed tests for modules. IEEE 1988 International Test Conference. pp.221\u2013229.","DOI":"10.1109\/TEST.1988.207806"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Murray B.T., Hayes J.P. Test propagation through modules and circuits. 1991 International Test Conference, pp.748\u2013757.","DOI":"10.1109\/TEST.1991.519740"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Sarfert T.M., Markgraf R., Trischler E., Schulz M.H. Hierarchical test generation based on high-level primitives. IEEE 1989 ITC, pp.470\u2013479.","DOI":"10.1109\/TEST.1989.82330"},{"key":"9_CR22","unstructured":"Saucier G., Bellon C. CADOC: A system for computer aided functional test. IEEE 1984 International Test Conference, pp.680\u2013687."},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Saucier G., Crastes de Paulet M., Tiar F. Functional test of ASICs and Boards. F.Lombardi and M.Sami (eds.). Testing and Diagnosis of VLSI and ULSI. 273\u2013286. 1988 by Kluwer Academic Publishers.","DOI":"10.1007\/978-94-009-1417-9_11"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Shen L., Su S.Y.H. A functional testing method for microprocessors. IEEE Trans. on Computers, Oct. 1988, pp. 1288\u20131293.","DOI":"10.1109\/12.5992"},{"key":"9_CR25","unstructured":"Su S.Y.H., Lin T. (1984). Functional testing techniques for digital LSI\/VLSI systems. ACM\/IEEE 21st DAC, 1984, pp.517\u2013528."},{"key":"9_CR26","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1109\/TC.1980.1675602","volume":"29","author":"S.M. Thatte","year":"1980","unstructured":"Thatte S.M., Abraham I.A. (1980). Test generation for microprocessors. IEEE Trans. on Computers, Vol. 29. pp. 429\u2013441.","journal-title":"IEEE Trans. on Computers"},{"key":"9_CR27","unstructured":"Ubar R. Test generation for digital circuits using alternative graphs. Proc. of Tallinn Technical University, Estonia, No.409, pp.75\u201381 (in Russian)."},{"key":"9_CR28","first-page":"25","volume":"31","author":"R. Ubar","year":"1981","unstructured":"Ubar R. Vektorielle alternative Graphen und Fehlerdiagnose f\u00fcr digitale Systeme. Nachrichtentechnik\/Elektronik (Germany) 31(1981) H.I. s. 25\u201328.","journal-title":"Nachrichtentechnik\/Elektronik (Germany)"},{"key":"9_CR29","unstructured":"Ubar R. Test pattern generation for digital systems on the vector AG-model. 13th Int.Conf.on Fault Tolerant Computing, Milano,Italy,1983, pp.347\u2013351."},{"key":"9_CR30","unstructured":"Ubar R. Alternative graphs and technical diagnosis of digital devices. Electronic technique. (USSR) Vol.8. No.5 (132). pp.33\u201357 (in Russian)."},{"key":"9_CR31","unstructured":"Ubar R., Dushina J., Zaugarow S., Krupnova L., Storozhew S. (1993). FTGEN \u2014 A system for functional test generation. Proc. of the Int. Conf. CAD 93. Yalta, May 4\u201313. 1993, pp. 123\u2013125."},{"key":"9_CR32","unstructured":"Ward P.C., Armstrong J.R. (1990). Behavioral fault simulation in VHDL ACM\/IEEE 27th Design Automation Conference, 1990, pp.587\u2013593."}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-1"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58426-9_129.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:28:15Z","timestamp":1742596095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58426-9_129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584261","9783540487852"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-58426-9_129","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}