Towards optimal system-level design

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Towards optimal system-level design

Full text

Pdf (568 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 30th international Design Automation Conference table of contents

Dallas, Texas, United States

Pages: 434 - 438

Year of Publication: 1993

ISBN:0-89791-577-1

Authors

Manjote S. Haworth
William P. Birmingham

Sponsors

EDAC : Electronic Design Automation Consortium
IEEE-CAS : Circuits & Systems
SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 10, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/157485.164965 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	William P. Birmingham , Anurag P. Gupta , Daniel P. Siewiorek, Automating the design of computer systems: the MICON project, Jones and Bartlett Publishers, Inc., 1992
	2	Detjens E., Gannot G., Rudell R., Sangiovanni-Vincentelli A., and Want A., "Technology Mapping in MIS," Proc. ICCAD, 1984.
	3	Dirkes E., "A Module Binder for the CMU-DA System," SRC- CMU, Dept. of ECE, CMU, Research Report No. CMUCAD- 85-43, 1985.
	4	Doyle J., "A Truth Maintenance System," Artificial Intelligence 12, No. 3, 1979.
	5	Nikil D. Dutt , James R. Kipps, Bridging high-level synthesis to RTL technology libraries, Proceedings of the 28th conference on ACM/IEEE design automation, p.526-529, June 17-22, 1991, San Francisco, California, United States [doi>10.1145/127601.127726]
	6	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.
	7	K. Keutzer, DAGON: technology binding and local optimization by DAG matching, Proceedings of the 24th ACM/IEEE conference on Design automation, p.341-347, June 28-July 01, 1987, Miami Beach, Florida, United States [doi>10.1145/37888.37940]
	8	Kahr M., "Matching Parts Library in a Silicon Compiler", Proc. ICCAD-86, 1986.
	9	Zvi Kohavi , Richard W. Hamming , Edward A. Feigenbaum, Switching and Finite Automata Theory: Computer Science Series, McGraw-Hill Higher Education, 1990
	10	Mackworth A.K., "Consistency in networks of relations," Artificial Intelligence, vol. 8, no. 1, 1977.
	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.
	12	Sussman G.J. and Steele G.L., "Constraints - A Language for Expressing Almost Hierarchical Descriptions," Artificial Intelligence, vol. 14, 1980.
	13	Jung-Gen Wu , Yu Hen Hu , William P. -C. Ho , David Y. Y. Yun, A Model-Based Expert System for Digital System Design, IEEE Design & Test, v.7 n.6, p.24-40, November 1990 [doi>10.1109/54.64955]