A unified formal model of ISA and FSMD

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A unified formal model of ISA and FSMD

Full text

Pdf (397 KB)

Source

International Conference on Hardware Software Codesign archive
Proceedings of the seventh international workshop on Hardware/software codesign table of contents

Rome, Italy

Pages: 121 - 125

Year of Publication: 1999

ISBN:1-58113-132-1

Authors

Jianwen Zhu	Univ. of California, Irvine
Daniel D. Gajski	Univ. of California, Irvine

Sponsors

IEEE-CS : Computer Society
IFIP : International Federation for Information Processing
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	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/301177.301504 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	D.D. Gajski and R.H.Kuhn New VLSI Tools. IEEE Computer, vol. 16,llo. 12,1983,pp. 11-14.
	2	R.G.G. Cattell. Code Generation and Machine Descriptions. Technical Report. CSL-79-8, Xerox Palo Alto Research C,eatel; Oct. 1979.
	3	Alfred V. Aho , Mahadevan Ganapathi , Steven W. K. Tjiang, Code generation using tree matching and dynamic programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.4, p.491-516, Oct. 1989 [doi>10.1145/69558.75700]
	4	Christopher W. Fraser , Robert R. Henry , Todd A. Proebsting, BURG: fast optimal instruction selection and tree parsing, ACM SIGPLAN Notices, v.27 n.4, p.68-76, April 1992 [doi>10.1145/131080.131089]
	5	N. Ramsey and M. Femandcz. The New Jersey Mochinr-Code Toollar. Pmcecdings of the 1995 USENlX Technical Conference, New Odeam, LA, January 1995, PP 289-302.
	6	N. Ramxy and 1.W. Davidson. Specifiins Inrtmcrions' Semawics Using CSDL. Preliminary Repoa Department of Computer Science. Univetsity of Virginia.
	7	Mark W. Bailey , Jack W. Davidson, A Formal Model and Specification Language for Procedure Calling Conventions, University of Virginia, Charlottesville, VA, 1994
	8	1. Gyllcnhaal. A Machine Description LMguage for Compilation. MS thesis. Department of Electrical and Computer Engineering. University of Illinois, Urbana IL, Sept. 1994.
	9	Peter Marwedel, The mimola design system: Tools for the design of digital processors, Proceedings of the 21st conference on Design automation, p.587-593, June 25-27, 1984, Albuquerque, New Mexico, United States
	10	R. Leupen, P. Marwedal. Retargetable Cod< Generadon Bared on Sfrucmml Processor Dcscriptinnr Design Automation for Embedded Systems. 3(l), 1998.
	11	George Hadjiyiannis , Silvina Hanono , Srinivas Devadas, ISDL: an instruction set description language for retargetability, Proceedings of the 34th annual conference on Design automation, p.299-302, June 09-13, 1997, Anaheim, California, United States [doi>10.1145/266021.266108]
	12	A. FauthJ.V. Praet. and M. Freericks. Describing buwucdon Sets UT- ing &I. (Extended Version). Technical Report. Technische Universit Berlin and I-, Bcdin(Germany)lLeuven(Bclgium), 1995.
	13	Ashok Halambi , Peter Grun , Vijay Ganesh , Asheesh Khare , Nikil Dutt , Alex Nicolau, EXPRESSION: a language for architecture exploration through compiler/simulator retargetability, Proceedings of the conference on Design, automation and test in Europe, p.100-es, January 1999, Munich, Germany [doi>10.1145/307418.307549]
	14	Daniel D. Gajski , Nikil D. Dutt , Allen C.-H. Wu , Steve Y.-L. Lin, High-level synthesis: introduction to chip and system design, Kluwer Academic Publishers, Norwell, MA, 1992
	15	J. Zhu, D.D. Gajski. A UrdJied Formal Model of ISA ad FSMD. Technical Repalf KS-984. University of cllifomia. Irvine.