A symbolic algorithm for low-power sequential synthesis

Authors:
Balakrishna Kumthekar;In-Ho Moon;Fabio Somenzi
Affiliations:
University of Colorado, Dept. of Electrical and Computer Engineering, Boulder, CO;University of Colorado, Dept. of Electrical and Computer Engineering, Boulder, CO;University of Colorado, Dept. of Electrical and Computer Engineering, Boulder, CO
Venue:
ISLPED '97 Proceedings of the 1997 international symposium on Low power electronics and design
Year:
1997

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Zero-suppressed BDDs for set manipulation in combinatorial problems

DAC '93 Proceedings of the 30th international Design Automation Conference
Algebraic decision diagrams and their applications

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
A symbolic algorithm for maximum flow in 0-1 networks

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Sequential Circuit Design Using Synthesis and Optimization

ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Markovian analysis of large finite state machines

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

System-level power optimization of special purpose applications: the beach solution

ISLPED '97 Proceedings of the 1997 international symposium on Low power electronics and design
Theoretical bounds for switching activity analysis in finite-state machines

ISLPED '98 Proceedings of the 1998 international symposium on Low power electronics and design

Hi-index	0.00