Combined spectral techniques for Boolean matching

Authors:
E. Schubert;W. Rosenstiel
Affiliations:
Universität Tübingen, WSI-TI, Sand 13, 72076 Tübingen, Germany;Universität Tübingen, WSI-TI, Sand 13, 72076 Tübingen, Germany
Venue:
Proceedings of the 1996 ACM fourth international symposium on Field-programmable gate arrays
Year:
1996

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Characterization of Boolean functions for rapid matching in FPGA technology mapping

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Boolean matching using generalized Reed-Muller forms

DAC '94 Proceedings of the 31st annual Design Automation Conference
Boolean Matching Using Binary Decision Diagrams with Applications to Logic Synthesis and Verification

ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Technology mapping using boolean matching and don't care sets

EURO-DAC '90 Proceedings of the conference on European design automation

Library based technology mapping using multiple domain representations

EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Efficient computation of canonical form for Boolean matching in large libraries

Proceedings of the 2004 Asia and South Pacific Design Automation Conference

Hi-index	0.00