Article

Free access

Library based technology mapping using multiple domain representations

Authors:

J. Bullmann,

W. Rosenstiel,

E. Schubert,

U. KebschullAuthors Info & Claims

EURO-DAC '96/EURO-VHDL '96: Proceedings of the conference on European design automation

Pages 146 - 150

Published: 20 September 1996 Publication History

PDF eReader

References

[1]

R.E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. on Comp., 35(8), Aug 1986.

Digital Library

Google Scholar

[2]

D.H. Green. Dual Forms of Reed-Muller expansions, lEE Proceedings, 141(3), May 1994.

Google Scholar

[3]

U. Kebschull. Verhaltensbasierte und spektrale Logiksynthese mehrstufiger Schaltnetze unter Velwendung von Bin6rb6umen, volume Reihe 10 Nr. 335 of Informatik/Kommunikationstechnik. Fortschr.-ber. VDE, 1995.

Google Scholar

[4]

U. Kebschull, J. Bullmann, E. Schubert, and W. Rosenstiel. Darstellungsabh~ingige Minimierung mehrstufiger Schaltnetze. In Proc. 1. GI/ITG Workshop Anwenderprogrammierbare Schaltungen, 1994.

Google Scholar

[5]

U. Kebschull and W. Rosenstiel. Efficient Graph-Based Computation and Manipulation of Functional Decision Diagrams. In Proc. EDAC 93, 1993.

Crossref

Google Scholar

[6]

U. Kebschull, E. Schubert, and W. Rosenstiel. Multilevel Logic Synthesis Based on Functional Decision Diagrams. In Proc. EDAC, 1992.

Crossref

Google Scholar

[7]

Y.T. Lai, S. Sastry, and M. Pedram. Boolean Matching using Binary Decision Diagrams with Application to Logic Synthesis and Verification. In Proc. ICCD, 1992.

Digital Library

Google Scholar

[8]

F. Mailhot and G. De Micheli. Technology Mapping Using Boolean Matching and Don't Care Sets. InProc. EADC, 1990.

Digital Library

Google Scholar

[9]

J. Mohnke and S. Malik. Permutation and Phase Independent Boolean Matching. In Proc. EDAC, EURO ASIC 93, Feb. 1993.

Google Scholar

[10]

U. Schlichtmann, F. Brglez, and M. Hermann. Characterization of Boolean Functions for Rapid Matching in EPGA Technology Mapping. In Proc. 29th DAC, 1992.

Digital Library

Google Scholar

[11]

E. Schubert and W. Rosenstiel. Combined Spectral Techniques for Boolean Matching. In Proc. ACM Symposium on FPGA, Monterey, 1996.

Digital Library

Google Scholar

[12]

C.-C. Tsai and M. Marek-Sadowska. Boolean Matching Using Generalized Reed-Muller Forms. In Proc. 31 st. DAC, 1994.

Digital Library

Google Scholar

Index Terms

Library based technology mapping using multiple domain representations

Recommendations

Teaching digital library concepts using digital library applications

Many digital library topics may be taught using digital library applications, in the context of project-based digital library courses. Several digital library applications exist, and these applications are used as teaching tools to illustrate the ...
Mapping knowledge domains of Chinese digital library research output, 1994---2010

The aim of this paper is to identify the research paradigms on digital libraries in China while compared with that of international digital libraries research via scientometric analysis. Co-word network constructed by keywords in documents and their co-...
Library leaders on digital libraries and the future of the research library: a panel discussion
JCDL '04: Proceedings of the 4th ACM/IEEE-CS joint conference on Digital libraries

This panel presents perspectives from a group of research library leaders on the evolving relationships between the body of systems, services and technologies associated with digital libraries and the institution of the research library. Four panelists ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

EURO-DAC '96/EURO-VHDL '96: Proceedings of the conference on European design automation

September 1996

604 pages

ISBN:081867573X

Chairmen:
Graham Symonds
Viewlogic Systems Ltd., Bracknell, Berkshire, UK
,
Wolfgang Nebel
Carl-von-Ossietzky Univ., Oldenburg, Germany

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 20 September 1996

Check for updates

Qualifiers

Article

Conference

EuroDAC95

Sponsor:

SI-G
EDAC
SIGDA
IEEE-CS
IFIP

EuroDAC95: European Design Automation Conference

Geneva, Switzerland

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
149
Total Downloads

Downloads (Last 12 months)25
Downloads (Last 6 weeks)4

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Teaching digital library concepts using digital library applications

Mapping knowledge domains of Chinese digital library research output, 1994---2010

Library leaders on digital libraries and the future of the research library: a panel discussion