Haworth M.S., Birmingham W.P., and Haworth D.E., "Optimal Part Selection", Technical Report CSE-TR-127-92, Department of EECS, Univ. of Michigan, Ann Arbor, 1992.

Google Scholar

[7]

Keutzer K., "DAGON: Technology Binding and Local Optimization by DAG Matching," Proc. 24th DAC, 1987.

Digital Library

Google Scholar

[8]

Kahr M., "Matching Parts Library in a Silicon Compiler", Proc. ICCAD-86, 1986.

Google Scholar

[9]

Kohavi, Z., Switching and. . Finite Automata Theo~, McGraw Hill, NY, 1978.

Digital Library

Google Scholar

[10]

Mackworth A.K., "Consistency in networks of relations," Artificial Intelligence, vol. 8, no. 1, 1977.

Google Scholar

[11]

Stewart B.S., Scherer W.T., Sykes E.A. and White C.C., Ill, "Defense Communications Decision Support Using ISMAUT," Advanced Technologies for C-squared Systems Engineering (S. Andriole, Ed.), AFCEA International Press (AIP), 1990.

Google Scholar

[12]

Sussman G.J. and Steele G.L., "Constraints - A Language for Expressing Almost Hierarchical Descriptions," Artificial Intelligence, vol. 14, 1980.

Google Scholar

[13]

Wu J., Hu Y.H., Ho W.P.C., and Yun, D.Y.Y., " A Model- Based Expert System for Digital System Design," IEEE Design and Test of Computers, 1990.

Digital Library

Google Scholar

Cited By

View all

D’Ambrosio JBirmingham W(2009)Preference-directed designArtificial Intelligence for Engineering Design, Analysis and Manufacturing10.1017/S08900604000024569:3(219-230)Online publication date: 27-Feb-2009
https://doi.org/10.1017/S0890060400002456
D'Ambrosio JHu XBuchenrieder KWolf W(1994)Configuration-level hardware/software partitioning for real-time embedded systemsProceedings of the 3rd international workshop on Hardware/software co-design10.5555/947185.947192(34-41)Online publication date: 22-Sep-1994
https://dl.acm.org/doi/10.5555/947185.947192
D'Ambrosio JXiaobo Hu (1994)Configuration-level hardware/software partitioning for real-time embedded systemsThird International Workshop on Hardware/Software Codesign10.1109/HSC.1994.336725(34-41)Online publication date: 1994
https://doi.org/10.1109/HSC.1994.336725

Index Terms

Towards optimal system-level design

Recommendations

An assertion-based verification methodology for system-level design

In this paper, we integrate an assertion-based verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification. In this direction a system-level assertion language is defined. The ...
Optimal design of truss-structures using particle swarm optimization

A two-stage particle swarm optimization was utilized in this study to solve truss-structure optimization problem achieving minimum weight objective under stress, deflection, and kinematic stability constraints. The topologies of the truss-structure were ...
Design and implementation of optimal scheduling and heuristic allocation algorithms in high-level synthesis

Comments

Information & Contributors

Information

Published In

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

July 1993

768 pages

ISBN:0897915771

DOI:10.1145/157485

Chairman:
Alfred E. Dunlop
AT&T Bell Labs., Murray Hill, NJ

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC93

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC93: The 30th ACM/IEEE Design Automation Conference

June 14 - 18, 1993

Texas, Dallas, 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

3
Total Citations
View Citations
158
Total Downloads

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

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

D’Ambrosio JBirmingham W(2009)Preference-directed designArtificial Intelligence for Engineering Design, Analysis and Manufacturing10.1017/S08900604000024569:3(219-230)Online publication date: 27-Feb-2009
https://doi.org/10.1017/S0890060400002456
D'Ambrosio JHu XBuchenrieder KWolf W(1994)Configuration-level hardware/software partitioning for real-time embedded systemsProceedings of the 3rd international workshop on Hardware/software co-design10.5555/947185.947192(34-41)Online publication date: 22-Sep-1994
https://dl.acm.org/doi/10.5555/947185.947192
D'Ambrosio JXiaobo Hu (1994)Configuration-level hardware/software partitioning for real-time embedded systemsThird International Workshop on Hardware/Software Codesign10.1109/HSC.1994.336725(34-41)Online publication date: 1994
https://doi.org/10.1109/HSC.1994.336725

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

An assertion-based verification methodology for system-level design

Optimal design of truss-structures using particle swarm optimization

Design and implementation of optimal scheduling and heuristic allocation algorithms in high-level synthesis

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

An assertion-based verification methodology for system-level design

Optimal design of truss-structures using particle swarm optimization

Design and implementation of optimal scheduling and heuristic allocation algorithms in high-level synthesis

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations