{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:06:11Z","timestamp":1737176771344,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_30","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:09:52Z","timestamp":1181624992000},"page":"380-389","source":"Crossref","is-referenced-by-count":3,"title":["Verifying Integrity of Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Drechsler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"N.M. Amato and M. Loui. Checking linked data structures. In Int\u2019l Symp. on Fault-Tolerant pages 164\u2013173, 1994.","DOI":"10.1109\/FTCS.1994.315644"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"K.S. Brace, R.L. Rudell, and R.E. Bryant. Efficient implementation of a BDD package. In Design Automation Conf., pages 40\u201345, 1990.","DOI":"10.1145\/123186.123222"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"F. Brglez, D. Bryan, and K. Kozminski. Combinational profiles of sequential benchmark circuits. In Int\u2019l Symp. Circ, and Systems, pages 1929\u20131934, 1989.","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"J.D. Bright, G.F. Sullivan, and G.M. Masson. Checking the integrity of trees. In Int\u2019l Symp. on Fault-Tolerant pages 402\u2013411, 1995.","DOI":"10.1109\/FTCS.1995.466959"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"R.E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Copm., 1986.","DOI":"10.1109\/TC.1986.1676819"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"R.E. Bryant and Y.-A. Chen. Verification of arithmetic functions with binary moment diagrams. In Design Automation Conf., pages 535\u2013541, 1995.","DOI":"10.1109\/DAC.1995.250005"},{"issue":"2","key":"30_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0167-9260(94)00007-7","volume":"17","author":"O. Coudert","year":"1994","unstructured":"O. Coudert. Two-level logic minimization: an overview. Integration the VLSI Jour., 17(2):97\u2013140, 1994.","journal-title":"Integration the VLSI Jour."},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"O. Coudert, H. Fraisse, and J.C. Madre. A breakthrough in two-level logic minimization. In Int\u2019l Workshop on Logic Synth., page P2b, 1993.","DOI":"10.1145\/157485.165071"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"R. Drechsler and B. Becker. Dynamic minimization of OKFDDs. In Int\u2019l Conf. on Design, pages 602\u2013607, 1995.","DOI":"10.1109\/ICCD.1995.528930"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"R. Drechsler and B. Becker. Binary Decision Diagrams-Theory and Implementation. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-1-4757-2892-7"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"R. Drechsler, Becker, and S. Ruppertz. K*BMDs: A new data structure for verification. In European Design & Test Conf., pages 2\u20138, 1996.","DOI":"10.1109\/EDTC.1996.494118"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"R. Drechsler, A. Sarabi, M. Theobald, B. Becker, and M.A. Perkowski. Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams. In Design Automation Conf., pages 415\u2013419, 1994.","DOI":"10.1145\/196244.196444"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"S. H\u00f6reth. Implementation of a multiple-domain decision diagram package. In CHARME, Chapman & Hall, pages 185\u2013202, 1997.","DOI":"10.1007\/978-0-387-35190-2_12"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"S. H\u00f6reth and R. Drechsler. Dynamic minimization of word-level decision diagrams. In Design, Automation and Test Europe, pages 612\u2013617, 1998.","DOI":"10.1109\/DATE.1998.655921"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"R.P. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton University Press, 1994.","DOI":"10.1515\/9781400864041"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Y.-T. Lai and S. Sastry. Edge-valued binary decision diagrams for multi-level hierarchical verification. In Design Automation Conf., pages 608\u2013613, 1992.","DOI":"10.1109\/DAC.1992.227813"},{"key":"30_CR17","unstructured":"D.E. Long. Long-Package Sun Release 4.1 Overview of Library Functions. 1993."},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"S. Minato, N. Ishiura, and S. Yajima. Shared binary decision diagrams with attributed edges for efficient Boolean function manipulation. In Design Automation Conf., pages 52\u201357, 1990.","DOI":"10.1145\/123186.123225"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In Int\u2019l Conf. on CAD, pages 42\u201347, 1993.","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"C. Scholl. Multi-output functional decomposition with exploitation of don\u2019t cares. In Design, Automation and Test Europe, pages 743\u2013748, 1998.","DOI":"10.1109\/DATE.1998.655941"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"T. Stornetta and F. Brewer. Implementation of an efficient parallel BDD package. In Design Automation Conf., pages 641\u2013644, 1996.","DOI":"10.1145\/240518.240639"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"D.J. Taylor. Error models for robust storage structures. In Int\u2019l Symp. on Fault-Tolerant pages 416\u2013422, 1990.","DOI":"10.1109\/FTCS.1990.89396"},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"B. Wurth, K. Eckl, and K. Antreich. Functional multiple-output decomposition: Theory and implicit algorithm. In Design Automation Conf., pages 54\u201359, 1995.","DOI":"10.1109\/DAC.1995.250063"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49646-7_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:56:34Z","timestamp":1737093394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}