Article

Free access

BDDMAP: a technology mapper based on a new covering algorithm

Authors:

D. S. Kung,

R. F. Damiano,

T. A. Nix,

D. J. GeigerAuthors Info & Claims

DAC '92: Proceedings of the 29th ACM/IEEE Design Automation Conference

Pages 484 - 487

Published: 01 July 1992 Publication History

PDF eReader

References

[1]

D. Gregory, K. Bartlett, A. de Geus, and G. Ha~htel, "Socrates: a system for automatically synthesizing and optimizing combinational logic," in Proceedings of the 23rd A CM/IEEE Design Automation Con.terence, pp. 79-85, ACM/IEEE, June 1986.

Digital Library

Google Scholar

[2]

K. Keutzer, "Dagon: technology binding and local optimization by dag matching," in Proceedings of the ~4th A GM/IEEE Design Automation Con}erence, pp. 341- 347, ACM/IEEE, June 1987.

Digital Library

Google Scholar

[3]

M. Lega, "Mapping properties of multi-level logic synthesis operations," in Proceedings o.f the ICCD'88, pp. 257-260, ACM/IEEE, 1988.

Google Scholar

[4]

F. Mailhot and G. De Micheli, "Technology mapping using boolean matching and don't care sets," in Proceedings o} the EDA C'90, pp. 212-216, 1990.

Digital Library

Google Scholar

[5]

W. Joyner, L. Trevillyan, D. Brand, T. Nix, and S. Gundersen, "Technology adaptation in logic synthesis," in Proceedings of the 23rd A CM/IEEE Design A utomation Conference, pp. 94-100, ACM/IEEE, June 1986.

Digital Library

Google Scholar

[6]

S. Yang, "Logic synthesis and optimization benchmarks user guide," 1991. Version 3.1.

Google Scholar

[7]

E. Detjens, G. Gannot, R. RudeU, A. Sangiovanni- Vincentelli, and A. Wang, "Technology mapping in mis," in Proceedings o} the ICCAD, pp. 116-119, ACM/IEEE, November 1987.

Google Scholar

Cited By

View all

Chickermane VZarrineh K(1997)Addressing Early Design-For-Test Synthesis in a Production EnvironmentProceedings of the 1997 IEEE International Test Conference10.5555/844384.845728Online publication date: 1-Nov-1997
https://dl.acm.org/doi/10.5555/844384.845728
Shepard KCarey SCho ECurran BHatch RHoffman DMcCabe SNorthrop GSeigler R(1997)Design methodology for the S/390 parallel enterprise server G4 microprocessorsIBM Journal of Research and Development10.1147/rd.414.051541:4-5(515-547)Online publication date: 1-Jul-1997
https://dl.acm.org/doi/10.1147/rd.414.0515
Bertolet ACarpenter KCarrig KChu ADean AFerraiolo FKenyon SPhan DPetrovick JRodgers GWillmott DBairley TDecker TGirardi VLapid YMurphy MScott PWeiss RKahng ASarrafzadeh M(1997)A pseudo-hierarchical methodology for high performance microprocessor designProceedings of the 1997 international symposium on Physical design10.1145/267665.267702(124-129)Online publication date: 1-Apr-1997
https://dl.acm.org/doi/10.1145/267665.267702
Show More Cited By

Index Terms

BDDMAP: a technology mapper based on a new covering algorithm

Recommendations

Spatiotemporal heterogeneity of Moso bamboo aboveground carbon storage with Landsat Thematic Mapper images: a case study from Anji County, China

Bamboo forest, especially Moso bamboo forest <italic>Phyllostachys heterocycla</italic> var. <italic>pubescens</italic>, has a powerful carbon sequestration capability and plays an important role in the global carbon sink. This research examines the ...
Spatiotemporal heterogeneity of Moso bamboo aboveground carbon storage with Landsat Thematic Mapper images: a case study from Anji County, China

Bamboo forest, especially Moso bamboo forest <italic>Phyllostachys heterocycla</italic> var. <italic>pubescens</italic>, has a powerful carbon sequestration capability and plays an important role in the global carbon sink. This research examines the ...
Mapping the land-cover distribution in arid and semiarid urban landscapes with Landsat Thematic Mapper imagery

Mapping the land-cover distribution in arid and semiarid urban landscapes using medium spatial resolution imagery is especially difficult due to the mixed-pixel problem in remotely sensed data and the confusion of spectral signatures among bare soils, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DAC '92: Proceedings of the 29th ACM/IEEE Design Automation Conference

July 1992

752 pages

ISBN:089791516X

Chairman:
Daniel G. Schweikert
Cadence Design Systems, Inc., San Jose, CA

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 July 1992

Check for updates

Qualifiers

Article

Conference

DAC92

Sponsor:

EDAC
SIGDA
IEEE-CAS
IEEE-CS

DAC92: The 29th ACM/IEEE-CS Design Automation Conference

June 8 - 12, 1992

California, Anaheim, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

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

6
Total Citations
View Citations
169
Total Downloads

Downloads (Last 12 months)32
Downloads (Last 6 weeks)1

Reflects downloads up to 29 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chickermane VZarrineh K(1997)Addressing Early Design-For-Test Synthesis in a Production EnvironmentProceedings of the 1997 IEEE International Test Conference10.5555/844384.845728Online publication date: 1-Nov-1997
https://dl.acm.org/doi/10.5555/844384.845728
Shepard KCarey SCho ECurran BHatch RHoffman DMcCabe SNorthrop GSeigler R(1997)Design methodology for the S/390 parallel enterprise server G4 microprocessorsIBM Journal of Research and Development10.1147/rd.414.051541:4-5(515-547)Online publication date: 1-Jul-1997
https://dl.acm.org/doi/10.1147/rd.414.0515
Bertolet ACarpenter KCarrig KChu ADean AFerraiolo FKenyon SPhan DPetrovick JRodgers GWillmott DBairley TDecker TGirardi VLapid YMurphy MScott PWeiss RKahng ASarrafzadeh M(1997)A pseudo-hierarchical methodology for high performance microprocessor designProceedings of the 1997 international symposium on Physical design10.1145/267665.267702(124-129)Online publication date: 1-Apr-1997
https://dl.acm.org/doi/10.1145/267665.267702
Malley CDieudonné MPreas B(1995)Logic verification methodology for PowerPC microprocessorsProceedings of the 32nd annual ACM/IEEE Design Automation Conference10.1145/217474.217535(234-240)Online publication date: 1-Jan-1995
https://dl.acm.org/doi/10.1145/217474.217535
Krishnamoorthy SMailhot FLorenzetti M(1994)Boolean matching of sequential elementsProceedings of the 31st annual Design Automation Conference10.1145/196244.196617(691-697)Online publication date: 6-Jun-1994
https://dl.acm.org/doi/10.1145/196244.196617
Brand DLightner MJess J(1993)Verification of large synthesized designsProceedings of the 1993 IEEE/ACM international conference on Computer-aided design10.5555/259794.259883(534-537)Online publication date: 7-Nov-1993
https://dl.acm.org/doi/10.5555/259794.259883

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.

Cited By

Index Terms

Recommendations

Spatiotemporal heterogeneity of Moso bamboo aboveground carbon storage with Landsat Thematic Mapper images: a case study from Anji County, China

Spatiotemporal heterogeneity of Moso bamboo aboveground carbon storage with Landsat Thematic Mapper images: a case study from Anji County, China

Mapping the land-cover distribution in arid and semiarid urban landscapes with Landsat Thematic Mapper imagery