{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T18:00:48Z","timestamp":1725645648581},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540189947"},{"type":"electronic","value":"9783642734519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-3-642-73451-9_27","type":"book-chapter","created":{"date-parts":[[2011,12,26]],"date-time":"2011-12-26T13:37:21Z","timestamp":1324906641000},"page":"368-380","source":"Crossref","is-referenced-by-count":0,"title":["Validation in Top Down Design Including Test Pattern Generation"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Reisig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1109\/TC.1982.1676054","volume":"C-31","author":"YH Levendel","year":"1982","unstructured":"Y.H. 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"},{"doi-asserted-by":"crossref","unstructured":"W.R. Adrion, M.A. Branstad, J.C. Chemiavsky: \u201cValidation, Verification, and Testing of Computer Software\u201d, Computing Surveys, vol.14, June 1982","key":"27_CR2","DOI":"10.1145\/356876.356879"},{"unstructured":"G.J. Myers: \u201cThe Art of Software Testing\u201d, Wiley 1979","key":"27_CR3"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1109\/TC.1980.1675602","volume":"C-29","author":"SM Thatte","year":"1980","unstructured":"S.M. Thatte, J.A. Abraham: \u201cTest Generation for Microprocessors\u201d, IEEE Trans. on Computers, vol.C-29, pp.429\u2013441, June 1980","journal-title":"IEEE Trans. on Computers"},{"unstructured":"Ch. Robach, G. Saucier: \u201cMicroprocessor functional testing\u201d, Proc. International Test Conference, IEEE 1980","key":"27_CR5"},{"unstructured":"M.A. Annaratone, M.G. Sami: \u201cAn approach to functional testing of microprocessors\u201d, Proc. 12th Fault Tolerant Computing Symposium, 1982, pp. 158\u2013164","key":"27_CR6"},{"doi-asserted-by":"crossref","unstructured":"S.Y.H. Su, Tonysheng Lin: \u201cFunctional Testing Techniques for Digital LSI\/VLSI-Systems\u201d, Proc. 21st Design Automation Conference, IEEE 1984, pp. 517\u2013528","key":"27_CR7","DOI":"10.1109\/DAC.1984.1585847"},{"doi-asserted-by":"crossref","unstructured":"R. Reisig: \u201cTest Pattern Obtainment from Algorithmic Descriptions\u201d, Proc. 3rd Fault Tolerant Computing Systems, F. Belli, W. G\u00f6rke (edts.), GI\/ITG\/GMA, 1987, pp. 129\u2013140","key":"27_CR8","DOI":"10.1007\/978-3-642-45628-2_12"},{"unstructured":"J.H. Hopcroft, J.D. Ullman: \u201cIntroduction to Automata Theory, Languages, and Computation\u201d, Addison-Wesley, 1979","key":"27_CR9"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1109\/TC.1968.229145","volume":"C-17","author":"JR Duley","year":"1968","unstructured":"J.R. Duley, D.L. Dietmeyer: \u201cA Digital System Design Language (DDL)\u201d, IEEE Trans. on Computers, vol.C-17, pp.850\u2013861, Sept.1968","journal-title":"IEEE Trans. on Computers"},{"unstructured":"R. Hartenstein: \u201cFundamentals of Structured Hardware Design\u201d, North Holland 1977","key":"27_CR11"},{"unstructured":"R. Dachauer, F.J. Rammig, K. Gr\u00f6ning, K.D. Lewke: \u201cThe CAP\/DSDL System: Simulator and case study\u201d, 10th IntConf. on CHDL, M. Breuer, R. Hartenstein (edts.), IFIP, 1981, pp. 213\u2013217","key":"27_CR12"},{"doi-asserted-by":"crossref","unstructured":"W.E. Howden: \u201cReliability of the Path Analysis Testing Strategie\u201d, IEEE Trans. on Software-Engineering, vol. SE-2, Sept.1976","key":"27_CR13","DOI":"10.1109\/TSE.1976.233816"},{"unstructured":"J.P. Hayes: \u201cComputer Architecture and Organization\u201d, McGraw-Hill, 1978","key":"27_CR14"}],"container-title":["Informatik-Fachberichte","Architektur und Betrieb von Rechensystemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-73451-9_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T12:36:36Z","timestamp":1620304596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-73451-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540189947","9783642734519"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-73451-9_27","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1988]]}}}