Calculation of the Rademacher-Walsh spectrum from a reduced representation of Boolean functions
EURO-DAC '92 Proceedings of the conference on European design automation
Autocorrelation and decomposition methods in combinational logic design
Autocorrelation and decomposition methods in combinational logic design
Efficient manipulation algorithms for linearly transformed BDDs
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Spectral Interpretation of Decision Diagrams
Spectral Interpretation of Decision Diagrams
Efficient variable ordering and partial representation algorithm
VLSID '95 Proceedings of the 8th International Conference on VLSI Design
Automation and Remote Control
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Reduction of sizes of decision diagrams by autocorrelation functions
IEEE Transactions on Computers
Linear sifting of decision diagrams and its application in synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |
Consideration was given to the linearization of logical functions defined by a set of pairwise orthogonal terms. The linearization is carried out by computing the autocorrelation functions. Proposed was a method consisting of (i) calculation of the autocorrelation function in the space of orthogonal terms, (ii) generation of the corresponding matrix of linear transformation, and (iii) the linear transformation proper of the variables in the space of orthogonal terms. Complexity of the proposed method and its effectiveness were estimated. Effectiveness was verified by a series of experiments with standard benchmarks. The distinctions of the proposed method from other existing methods of linearization were examined.