DC Field | Value | Language |
---|---|---|
dc.contributor.author | Karpovsky, Mark | en |
dc.contributor.author | Stanković, Radomir | en |
dc.contributor.author | Astola, Jaakko | en |
dc.date.accessioned | 2020-05-01T20:29:15Z | - |
dc.date.available | 2020-05-01T20:29:15Z | - |
dc.date.issued | 2003-01-01 | en |
dc.identifier.issn | 0018-9340 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2111 | - |
dc.description.abstract | This paper discusses optimization of decisions diagrams (DDs) by total autocorrelation functions. We present an efficient algorithm for construction of Linearly Transformed Binary Decision Diagrams (LT-BDDs) and Linearly transformed multiterminal BDDs (LT-MTBDDs) for systems of Boolean functions, based on linearization of these functions by the corresponding autocorrelation functions. Then, we present a method for reduction of sizes of DDs by a level-by-level reduction of the width of DDs using the total autocorrelation functions. The approach provides for a simple procedure for minimization of LT-BDDs and LT-MTBDDs and upper bounds on their sizes. Experimental results for benchmarks illustrate that the proposed method on average is very efficient. | en |
dc.publisher | IEEE | - |
dc.relation | BSF, Grant 1998154 | - |
dc.relation | Academy of Finland, Finnish Center of Excellence Programme, Grant. No. 44876 | - |
dc.relation | EXSITE, Project No. 51520 | - |
dc.relation.ispartof | IEEE Transactions on Computers | en |
dc.subject | Autocorrelation functions | Decision diagrams | Linear transforms | Logic synthesis | Spectral techniques | en |
dc.title | Reduction of sizes of decision diagrams by autocorrelation functions | en |
dc.type | Article | en |
dc.identifier.doi | 10.1109/TC.2003.1197126 | en |
dc.identifier.scopus | 2-s2.0-0038633537 | en |
dc.relation.firstpage | 592 | en |
dc.relation.lastpage | 606 | en |
dc.relation.issue | 5 | en |
dc.relation.volume | 52 | en |
dc.description.rank | M21 | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
SCOPUSTM
Citations
31
checked on Sep 7, 2024
Page view(s)
1
checked on Sep 7, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.