{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:34:25Z","timestamp":1742913265385,"version":"3.40.3"},"publisher-location":"Wiesbaden","reference-count":20,"publisher":"Vieweg+Teubner Verlag","isbn-type":[{"type":"print","value":"9783815420331"},{"type":"electronic","value":"9783322952332"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"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":[[1992]]},"DOI":"10.1007\/978-3-322-95233-2_26","type":"book-chapter","created":{"date-parts":[[2013,4,17]],"date-time":"2013-04-17T05:17:04Z","timestamp":1366175824000},"page":"425-439","source":"Crossref","is-referenced-by-count":0,"title":["Derivation of High Quality Tests for Large Heterogeneous Circuits: Floating-Point Operations"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Sparmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"V.K. Agarwal. VLSI Testing, volume 5 of Advances in CAD for VLSI, chapter 3, pages 65\u201393. North-Holland, 1986. edited by T.W. Williams."},{"key":"26_CR2","first-page":"146","volume-title":"Proceedings of the 2nd Annual Symposium on Parallel Algorithms and Architectures","author":"B Becker","year":"1990","unstructured":"B. Becker and J. Hartmann. Optimal-time multipliers and c-test ability. In Proceedings of the 2nd Annual Symposium on Parallel Algorithms and Architectures, pages 146\u2013154, 1990."},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1145\/37888.37992","volume-title":"Proceedings of the 24th ACM\/IEEE Design Automation Conference (DAC87)","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 ACM\/IEEE Design Automation Conference (DAC87), pages 649\u2013653, June 1987."},{"key":"26_CR4","first-page":"288","volume-title":"Proceedings of the 3rd Aegean Workshop on Computing","author":"B Becker","year":"1988","unstructured":"B. Becker and U. Sparmann. Regular structures and testing: RCC-adders. In Proceedings of the 3rd Aegean Workshop on Computing, pages 288\u2013300, 1988."},{"key":"26_CR5","series-title":"Theoretical Computer Science","first-page":"225","volume-title":"Computations over finite monoids and their test complexity","author":"B Becker","year":"1991","unstructured":"B. Becker and U. Sparmann. Computations over finite monoids and their test complexity. Theoretical Computer Science, pages 225\u2013250, 1991."},{"issue":"6","key":"26_CR6","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1109\/12.2205","volume":"C-37","author":"PR Capello","year":"1988","unstructured":"P.R. Capello and W.L. Miranker. Systolic Super Summation. IEEE Transactions on Computers, C-37(6):657\u2013677, 1988.","journal-title":"IEEE Transactions on Computers"},{"key":"26_CR7","volume-title":"Proceedings of the 16th International Symposium on Fault Tolerant Computing Systems","author":"WT Cheng","year":"1986","unstructured":"W.T. Cheng and J. H. Patel. Testing in two-dimensional iterative logic arrays. In Proceedings of the 16th International Symposium on Fault Tolerant Computing Systems, July 1986."},{"key":"26_CR8","series-title":"Technical Report 10\/1991, SFB","volume-title":"Implementierung eines effizient testbaren Gleitkommaaddierers auf einer kommerziellen Sea-of-Gate Struktur","author":"R Drefenstedt","year":"1991","unstructured":"R. Drefenstedt and T. Walle. Implementierung eines effizient testbaren Gleitkommaaddierers auf einer kommerziellen Sea-of-Gate Struktur. Technical Report 10\/1991, SFB 124, Fachbereich Informatik, Universit\u00e4t des Saarlandes, 1991."},{"key":"26_CR9","first-page":"165","volume":"2","author":"EB Eichelberger","year":"1978","unstructured":"E.B. Eichelberger and T.W. Williams. A logic design structure for LSI testability. Journal of Design Automation and Fault-Tolerant Computation, 2:165\u2013178, 1978.","journal-title":"Journal of Design Automation and Fault-Tolerant Computation"},{"key":"26_CR10","first-page":"2","volume-title":"Proceedings of the 6th Symposium on Computer Arithmetic","author":"J Ferguson","year":"1983","unstructured":"J. Ferguson and J.P. Chen. The design of two easily-testable VLSI array multipliers. In Proceedings of the 6th Symposium on Computer Arithmetic, pages 2\u20139, June 1983."},{"key":"26_CR11","series-title":"IEEE Transactions on Computers","volume-title":"The complexity of fault detection problems for combinational logic circuits","author":"H Fujiwara","year":"1982","unstructured":"H. Fujiwara and S. Toida. The complexity of fault detection problems for combinational logic circuits. IEEE Transactions on Computers, C-31, 1982."},{"key":"26_CR12","volume-title":"18th International Symposium on Fault Tolerant Computing","author":"SJ Hong","year":"1988","unstructured":"S.J. Hong. An easily testable parallel multiplier. In 18th International Symposium on Fault Tolerant Computing, 1988."},{"key":"26_CR13","volume-title":"IEEE Standard for Binary Floating-Point Arithmetic ANSI\/IEEE Std 754\u20131985","author":"The Institute of Electrical and Electronics Engineers, Inc","year":"1985","unstructured":"The Institute of Electrical and Electronics Engineers, Inc. IEEE Standard for Binary Floating-Point Arithmetic ANSI\/IEEE Std 754\u20131985, 1985."},{"key":"26_CR14","volume-title":"Computer Arithmetic in Theory and Practice","author":"UW Kulisch","year":"1981","unstructured":"U.W. Kulisch and W.L. Miranker. Computer Arithmetic in Theory and Practice. Academic Press, 1981."},{"key":"26_CR15","volume-title":"Proceedings IFIP Congress 83","author":"WK Luk","year":"1983","unstructured":"W.K. Luk and J. Vuillemin. Recursive implementation of optimal time VLSI integer multipliers. In Proceedings IFIP Congress 83, pages 155\u2013168, Amsterdam, 1983."},{"key":"26_CR16","volume-title":"ISth Symposium on Fault-Tolerant Computing","author":"MH Schulz","year":"1988","unstructured":"M.H. Schulz and E. Auth. Advanced automatic test pattern generation and redundancy identification techniques. In ISth Symposium on Fault-Tolerant Computing 1988, June 1988."},{"key":"26_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-92149-9","volume-title":"Arithmetik in Rechenanlagen","author":"O Spaniol","year":"1976","unstructured":"O. Spaniol. Arithmetik in Rechenanlagen. Teubner Verlag, 1976."},{"key":"26_CR18","volume-title":"PhD thesis, Fachbereich Informatik, Universit\u00e4t des Saarlandes","author":"U Sparmann","year":"1991","unstructured":"U. Sparmann. Strukturbasierte Testmethoden f\u00fcr arithmetische Schaltkreise. PhD thesis, Fachbereich Informatik, Universit\u00e4t des Saarlandes, 1991."},{"key":"26_CR19","volume-title":"Proceedings of 1987 International Test Conference","author":"MH Schulz","year":"1987","unstructured":"M.H. Schulz, E. Trischler, and T.M. Sarfert. Socrates: A highly efficient automatic test pattern generation system. In Proceedings of 1987 International Test Conference, September 1987."},{"key":"26_CR20","volume-title":"Master\u2019s thesis, Fachbereich Informatik, Universit\u00e4t des Saarlandes","author":"W Weber","year":"1990","unstructured":"W. Weber. Entwurf und Test einer Familie von Gleitkommaaddierern. Master\u2019s thesis, Fachbereich Informatik, Universit\u00e4t des Saarlandes, 1990."}],"container-title":["TEUBNER-TEXTE zur Informatik","Informatik"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-322-95233-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T11:35:37Z","timestamp":1676806537000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-322-95233-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783815420331","9783322952332"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-322-95233-2_26","relation":{},"ISSN":["1615-4584"],"issn-type":[{"type":"print","value":"1615-4584"}],"subject":[],"published":{"date-parts":[[1992]]}}}