Spectral Techniques in VLSI CAD

Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations

Proceedings of the 12th ACM Great Lakes symposium on VLSI

Large Systems of Boolean Functions: Realization by Modular Arithmetic Methods

Automation and Remote Control

Malyugin's Theorems: A New Concept in Logical Control, VLSI Design, and Data Structures for New Technologies

Automation and Remote Control

Mixed-radix MVL Function Spectral and Decision Diagram Representation

Automation and Remote Control

Techniques for the synthesis of reversible Toffoli networks

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Optimization of polynomial datapaths using finite ring algebra

ACM Transactions on Design Automation of Electronic Systems (TODAES)

New considerations for spectral classification of boolean switching functions

VLSI Design

Compact DSOP and Partial DSOP Forms

Theory of Computing Systems