Computation of the Total Autocorrelation over Shared Binary Decision Diagrams

Miloš RADMANOVIC
Radomir S. STANKOVIC
Claudio MORAGA

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E97-A    No.5    pp.1140-1143
Publication Date: 2014/05/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E97.A.1140
Type of Manuscript: LETTER
Category: VLSI Design Technology and CAD
Keyword: 
switching theory,  computation of transforms,  binary decision diagram,  BDD-package,  

Full Text: PDF(531.3KB)>>
Buy this Article



Summary: 
This paper describes a method for the efficient computation of the total autocorrelation for large multiple-output Boolean functions over a Shared Binary Decision Diagram (SBDD). The existing methods for computing the total autocorrelation over decision diagrams are restricted to single output functions and in the case of multiple-output functions require repeating the procedure k times where k is the number of outputs. The proposed method permits to perform the computation in a single traversal of SBDD. In that order, compared to standard BDD packages, we modified the way of traversing sub-diagrams in SBDD and introduced an additional memory function kept in the hash table for storing results of the computation of the autocorrelation between two subdiagrams in the SBDD. Due to that, the total amount of computations is reduced which makes the method feasible in practical applications. Experimental results over standard benchmarks confirm the efficiency of the method.