{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:59:45Z","timestamp":1759147185858},"reference-count":0,"publisher":"Wiley","issue":"3-4","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":1826,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["VLSI Design"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:p>This paper introduces several new families of decision diagrams for multi\u2010output Boolean functions. The introduced\nfamilies include several diagrams known from literature (BDDs, FDDs) as subsets. Due to this property, these diagrams can\nprovide a more compact representation of functions than either of the two decision diagrams. Kronecker Decision Diagrams\n(KDDs) with negated edges are based on three orthogonal expansions (Shannon, Positive Davio, Negative Davio) and are\ncreated here for incompletely specified Boolean functions as well. An improved efficient algorithm for the construction of\nKDD is presented and applied in a mapping program to ATMEL 6000 fine\u2010grain FPGAs. Four other new families of\nfunctional decision diagrams are also presented: Pseudo KDDs, Free KDDs, Boolean Ternary DDs, and Boolean Kronecker\nTernary DDs. The last two families introduce nodes with three edges and require AND, OR and EXOR gates for circuit\nrealization. There are two variants of each of the last two families: canonical and non\u2010canonical. While the canonical\ndiagrams can be used as efficient general\u2010purpose Boolean function representations, the non\u2010canonical variants are also\napplicable to incompletely specified functions and create don\u2032t cares in the process of the creation of the diagram.. They lead\nto even more compact circuits in logic synthesis and technology mapping.<\/jats:p>","DOI":"10.1155\/1995\/24594","type":"journal-article","created":{"date-parts":[[2007,9,18]],"date-time":"2007-09-18T12:56:46Z","timestamp":1190120206000},"page":"301-313","source":"Crossref","is-referenced-by-count":6,"title":["Multi\u2010Level Logic Synthesis Based on KroneckerDecision Diagrams and Boolean Ternary DecisionDiagrams for Incompletely Specified Functions"],"prefix":"10.1155","volume":"3","author":[{"given":"Marek A.","family":"Perkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malgorzata","family":"Chrzanowska-Jeske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andisheh","family":"Sarabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[1995,1]]},"container-title":["VLSI Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/archive\/1995\/024594.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1155\/1995\/24594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T22:39:46Z","timestamp":1723070386000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1155\/1995\/24594"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":0,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1155\/1995\/24594"],"URL":"https:\/\/doi.org\/10.1155\/1995\/24594","archive":["Portico"],"relation":{},"ISSN":["1065-514X","1563-5171"],"issn-type":[{"type":"print","value":"1065-514X"},{"type":"electronic","value":"1563-5171"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}