{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:29:23Z","timestamp":1743078563522,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540182948"},{"type":"electronic","value":"9783642456282"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"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":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-45628-2_13","type":"book-chapter","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T21:25:11Z","timestamp":1330982711000},"page":"141-152","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Test Generation for Register Transfer Level Descriptions"],"prefix":"10.1007","author":[{"given":"I.","family":"Stamelos","sequence":"first","affiliation":[]},{"given":"C.","family":"Halatsis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"C. Benmehrez, J.F. McDonald, \u201cThe Subscripted D-Algorithm, ATPG with Multiple Independent Control Paths\u201d, IEEE ATPG Workshop, PP 71-80, 1983."},{"key":"13_CR2","unstructured":"Eichelberger, E.B., T.W. Williams, \u201cA Logic Design Structure for LSI Testability\u201d, 14th Design Automation Conf., pp 462-468, June 1977."},{"key":"13_CR3","unstructured":"J. Fong, \u201cOn Functional Controllability\/Observability Analysis\u201d, IEEE Int\u2019l Test Conf., pp 170-175, Nov. 1982."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"1137","DOI":"10.1109\/TC.1983.1676174","volume":"C-32","author":"H Fujiwara","year":"1983","unstructured":"H. Fujiwara, T. Shimono, \u201cOn the Acceleration of Test Generation Algorithms\u201d, IEEE Trans. on Computers, vol C-32, pp 1137\u20131144, December 1983.","journal-title":"IEEE Trans. on Computers"},{"key":"13_CR5","unstructured":"H.S. Fung, J. Fong, \u201cAn Information Flow Approach to Functional Testability Measures\u201d, Int\u2019l Conf. Circuits and Computers, pp. 460-463, Sept. 1982."},{"key":"13_CR6","unstructured":"P. Goel, B. Rosales, \u201cTest Generation & Dynamic Compaction of Tests\u201d, Int\u2019l Test Conf., pp. 189-192, 1979."},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TC.1981.1675757","volume":"C-30","author":"P Goel","year":"1981","unstructured":"P. Goel, \u201cAn implicit enumeration algorithm to generate tests for combinational logic circuits,\u201d IEEE Trans. on Computers., vol.C-30, pp. 215\u2013222, Mar.1981.","journal-title":"IEEE Trans. on Computers"},{"key":"13_CR8","unstructured":"R. Hartenstein, R. Hauck, \u201cKARL III user manual and language reference internal report. University of Kaiserslautern, 1986."},{"key":"13_CR9","unstructured":"T. Hu, \u201cCombinatorial Algorithms\u201d, Addison Wesley, 1982."},{"key":"13_CR10","unstructured":"M. Kawai et al, \u201cA High Level Test Pattern Generation Algorithm\u201d, Int\u2019l Test Conf., pp 346-352, IEEE 1983."},{"key":"13_CR11","unstructured":"K.W. Lai, \u201cFunctional Testing of Digital Systems\u201d, Ph.D. dissertation, Carnegie Mellon Univ., Dec 1981."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1109\/TC.1982.1676054","volume":"c-31","author":"Y Levendel","year":"1982","unstructured":"Y. Levendel, P.R. Menon, \u201cTest Generation Algorithms for Computer Hardware Description Languages\u201d, IEEE Trans. on Computers, vol c-31, pp. 577\u2013588, July 1982.","journal-title":"IEEE Trans. on Computers"},{"key":"13_CR13","unstructured":"Y. Levendel, P.R. Menon, \u201cThe *-algorithm:Critical Traces for Functions and CHDL Constructs\u201d, Fault Tolerant Computing Symp., pp. 90-97, 1983."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1147\/rd.104.0278","volume":"10","author":"JP Roth","year":"1966","unstructured":"J.P. Roth, \u201cDiagnosis of automata failures:A calculus and a method\u201d, IBM J. Res.Develop., vol 10, pp. 278\u2013291, July 1966.","journal-title":"IBM J. Res.Develop"},{"key":"13_CR15","unstructured":"I. Stamelos et al, \u201cA Multi-level Test Pattern Generation and Validation Environment\u201d, Int\u2019l Test Conf. 1986."}],"container-title":["Informatik-Fachberichte","Fehlertolerierende Rechensysteme \/ Fault-Tolerant Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45628-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T15:49:41Z","timestamp":1714751381000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-45628-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540182948","9783642456282"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45628-2_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}