Predicting the functional complexity of combinational circuits by symbolic spectral analysis of Boolean functions

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers

Efficient implementation of a BDD package

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference

An entropy measure for the complexity of multi-output Boolean functions

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference

Algorithms for approximate FSM traversal

DAC '93 Proceedings of the 30th international Design Automation Conference

Spectral transforms for large boolean functions with applications to technology mapping

DAC '93 Proceedings of the 30th international Design Automation Conference

BDD based decomposition of logic functions with application to FPGA synthesis

DAC '93 Proceedings of the 30th international Design Automation Conference

A symbolic method to reduce power consumption of circuits containing false paths

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design

Algebraic decision diagrams and their applications

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design

Spectral Techniques in Digital Logic

Spectral Techniques in Digital Logic

Sequential Circuit Design Using Synthesis and Optimization

ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors

A Structural Approach to State Space Decomposition for Approximate Reachability Analysis

ICCS '94 Proceedings of the1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors

Using symbolic Rademacher-Walsh spectral transforms to evaluate the correlation between Boolean functions

GLSVLSI '95 Proceedings of the Fifth Great Lakes Symposium on VLSI (GLSVLSI'95)

Finite Orthogonal Series in Design of Digital Devices

Finite Orthogonal Series in Design of Digital Devices