{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:40:05Z","timestamp":1749206405506,"version":"3.41.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Electronic Testing"],"published-print":{"date-parts":[[2000,6]]},"DOI":"10.1023\/a:1008335130158","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"213-226","source":"Crossref","is-referenced-by-count":12,"title":["Fast Test Pattern Generation for Sequential Circuits Using Decision Diagram Representations"],"prefix":"10.1007","volume":"16","author":[{"given":"Jaan","family":"Raik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Ubar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"258860_CR1","doi-asserted-by":"crossref","unstructured":"T.M. Niermann and J.H. Patel, \u201cHITEC: A Test Generation Package for Sequential Circuits,\u201d Proc. European Conf. Design Automation, 1991, pp. 214-218.","DOI":"10.1109\/EDAC.1991.206393"},{"key":"258860_CR2","doi-asserted-by":"crossref","unstructured":"M.S. Hiao, E.M. Rudnick, and J.H. Patel, \u201cSequential Circuit Test Generation Using Dynamic State Traversal,\u201d Proc. European Design and Test Conf., 1997, pp. 22-28.","DOI":"10.1109\/EDTC.1997.582325"},{"key":"258860_CR3","doi-asserted-by":"crossref","first-page":"991","DOI":"10.1109\/43.511578","volume":"15","author":"F. Corno","year":"1996","unstructured":"F. Corno, P. Prinetto, M. Rebaudengo, and M. Sonza Reorda, \u201cGATTO:AGenetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits,\u201d IEEE Trans. CAD, Vol. 15, pp. 991-1000, August 1996.","journal-title":"IEEE Trans. CAD"},{"key":"258860_CR4","doi-asserted-by":"crossref","unstructured":"E.M. Rudnick, J.H. Patel, G.S. Greenstein, and T.M. Niermann, \u201cSequential Circuit Test Generation in a Genetic Algorithm Framework,\u201d Proc. Design Automation Conf., 1994, pp. 698-704.","DOI":"10.1145\/196244.196619"},{"issue":"1","key":"258860_CR5","first-page":"55","volume":"1","author":"J. Santucci","year":"1993","unstructured":"J. Santucci, A. Courbois, and N. Giambiasi, \u201cBehavioral Testing of Digital Circuits,\u201d Journal of Microelectronics Systems Integration, Vol. 1, No. 1, pp. 55-77, 1993.","journal-title":"Journal of Microelectronics Systems Integration"},{"key":"258860_CR6","unstructured":"C.H. Cho and J.R. Armstrong, \u201cB-Algorithm: A Behavioral Test Generation Algorithm,\u201d Proc. Int. Test Conf., 1994, pp. 968-979."},{"key":"258860_CR7","doi-asserted-by":"crossref","unstructured":"F. Ferrandi, F. Fummi, and D. Sciuto, \u201cImplicit Test Generation for Behavioral VHDL Models,\u201d Proc. Int. Test Conf., 1998, pp. 587-596.","DOI":"10.1109\/TEST.1998.743202"},{"key":"258860_CR8","doi-asserted-by":"crossref","first-page":"1288","DOI":"10.1109\/43.317464","volume":"13","author":"J. Lee","year":"1994","unstructured":"J. Lee and J.H. Patel, \u201cArchitectural Level Test Generation for Microprocessors,\u201d IEEE Trans. CAD, Vol. 13, pp. 1288-1300, October 1994.","journal-title":"IEEE Trans. CAD"},{"key":"258860_CR9","doi-asserted-by":"crossref","unstructured":"A. Ghosh, S. Devadas, and A.R. Newton, \u201cSequential Test Generation at the Register-Transfer and Logic Levels,\u201d Proc. Design Automation Conf., 1990, pp. 580-586.","DOI":"10.1145\/123186.123408"},{"key":"258860_CR10","doi-asserted-by":"crossref","unstructured":"B.T. Murray and J.P. Hayes, \u201cHierarchical Test Generation Using Precomputed Tests for Modules,\u201d Proc. Int. Test Conf., 1998, pp. 221-229.","DOI":"10.1109\/TEST.1988.207806"},{"key":"258860_CR11","doi-asserted-by":"crossref","unstructured":"R. Ubar, \u201cTest Synthesis with Alternative Graphs,\u201d IEEE Design & Test of Computers, pp. 48-57, Spring 1996.","DOI":"10.1109\/54.485782"},{"key":"258860_CR12","first-page":"141","volume":"4","author":"R. Ubar","year":"1998","unstructured":"R. Ubar, \u201cMulti-Valued Simulation of Digital Circuits with Structurally Synthesized Binary Decision Diagrams,\u201d Journal Multiple Valued Logic, Vol. 4, pp. 141-157, 1998.","journal-title":"Journal Multiple Valued Logic"},{"key":"258860_CR13","unstructured":"R. Ubar, \u201cTest Generation for Digital Circuits Using Alternative Graphs,\u201d Proc. of Tallinn Technical University, Estonia, No. 409, pp. 75-81 (in Russian), 1976."},{"key":"258860_CR14","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"S.B. Akers","year":"1978","unstructured":"S.B. Akers, \u201cBinary Decision Diagrams,\u201d IEEE Trans. Computers, Vol. 27, pp. 509-516, June 1978.","journal-title":"IEEE Trans. Computers"},{"key":"258860_CR15","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/12.144618","volume":"41","author":"H.-T. Liaw","year":"1992","unstructured":"H.-T. Liaw and C.-S. Lin, \u201cOn the OBDD-Representation of General Boolean Functions,\u201d IEEE Trans. Computers, Vol. 41, pp. 661-664, June 1992.","journal-title":"IEEE Trans. Computers"},{"key":"258860_CR16","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1109\/4.1002","volume":"23","author":"S. Freeman","year":"1988","unstructured":"S. Freeman, \u201cTest Generation for Data Path Logic: The F-Path Method,\u201d IEEE Journal Solid-State Circuits, Vol. 23, pp. 421-427, April 1988.","journal-title":"IEEE Journal Solid-State Circuits"},{"key":"258860_CR17","unstructured":"HLSynth92 benchmark directory at URL:http:\/\/www.cbl. ncsu.edu\/pub\/Benchmark_dirs\/HLSynth92\/"},{"key":"258860_CR18","unstructured":"E. Gramatova,M. Gulbins, M. Marzouki, A. Pataricza, R. Sheinauskas, and R. Ubar, \u201cFUTEG Benchmarks,\u201d Technical Report of project COPERNICUS JEP 9624 FUTEG No9\/1995."},{"key":"258860_CR19","unstructured":"G. Jervan, A. Markus, J. Raik, and R. Ubar, \u201cDECIDER: A Decision Diagram based Hierarchical Test Generation System,\u201d Proc. Design & Diagnostics of Electronic Circuits & Systems Workshop, 1998, pp. 269-273."},{"key":"258860_CR20","doi-asserted-by":"crossref","unstructured":"J. Raik, and R. Ubar. \u201cSequential Circuit Test Generation Using Decision Diagram Models,\u201d Proc. DATE Conf., 1999, pp. 736-740.","DOI":"10.1109\/DATE.1999.761212"},{"key":"258860_CR21","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-011-5110-8_66","volume-title":"Microelectronics Education","author":"G. Jervan","year":"1998","unstructured":"G. Jervan, A. Markus, P. Paomets, J. Raik, and R. Ubar, \u201cTurbo Tester: A CAD System for Teaching Digital Test,\u201d Microelectronics Education, Kluwer Academic Publishers, Dordrecht, 1998, pp. 287-290."}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008335130158.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008335130158\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008335130158.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:19:29Z","timestamp":1749205169000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008335130158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,6]]}},"alternative-id":["258860"],"URL":"https:\/\/doi.org\/10.1023\/a:1008335130158","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}