Hardware/software co-design

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Hardware/software co-design: VHDL and Ada 95 code migration and integrated analysis

Full text

Pdf (801 KB)

Source

Annual International Conference on Ada archive
Proceedings of the 1998 annual ACM SIGAda international conference on Ada table of contents

Washington, D.C., United States

Pages: 18 - 27

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Authors

Mike Mills	Air Force Research Lab, Information Technology Division, Wright-Patterson AFB OH
Greg Peterson	Air Force Research Lab, Information Technology Division, Wright-Patterson AFB OH

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
DC Ada : DC Ada Chapter
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education
Baltimore SIGAda Chapter : Baltimore SIGAda Chapter
SIGCAS: ACM Special Interest Group on Computers and Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 24, 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/289524.289528 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	Gordon Moore. VLSI: Some Fundamental Challenges. IEEE Spectrum, 16(4):30-37, April 1979.
	2	Joseph P. Loyall, Susan A. Mathisen, and Charles P. Satterthwaite. Impact Analysis and Change Management for Avionics Software. In Proceedings of the 1997 National Aerospace Electronics Conference, pages 740-747, July 1997.
	3	System Level Design Workshop, October, 1996.
	4	M. Mills and G. Peterson. Requirements and Concepts for Hardware/Sof~vare Codesign. In Proceedings of the Spring VHDL International Users' Forum, pages 129-138, April 1997.
	5	Stephen Zeigler. Comparing Development Costs of C and Ada. See http://sw-eng.fallschurch.va.us/ AdaIC/docs/reports/cadaJcada_art.html.
	6	Patricia K. Lawlis , Terence W. Elam, Ada outperforms assembly: a case study, Proceedings of the conference on TRI-Ada '92, p.334-337, November 16-20, 1992, Orlando, Florida, United States [doi>10.1145/143557.143752]
	7	Lyrme Hamilton-Jones, Kenneth Littlejohn, Marc Pitarys. Software Technology for Next- Generation Strike Fighter Avionics. DASC. Atlanta, GA 27-31 October 1997.
	8	Peter J. Ashenden and Philip A. Wilsey, Considerations on Object-Oriented Extensions to VHDL. In Proceedings of the Spring VHDL International Users' Forum, pages 109-118, April 1997.
	9	See the OO-VHDL web page at http ://vhdl.org/oo vhdl
	10	See the VSPEC web page at http ://www.ececs.uc.edu/-~kbse/vspec
	11	Kari Forester. IRIS-Ada Reference Manual Version 1.0. Arcadia Technical Report UM-90- 07. University of Massachusetts, Amherst, MA. May, 1990.
	12	JRS Research Laboratories, Inc. Ada/C to VHDL Translator User's Manual. Document Number SUM.0187-01. October 1995.
	13	Debra J. Richardson , T. Owen O'Malley , Cynthia Tittle Moore , Stephanie Leif Aha, Developing and integrating ProDAG in the Arcadia environment, Proceedings of the fifth ACM SIGSOFT symposium on Software development environments, p.109-119, December 09-11, 1992, Tyson's Corner, Virginia, United States
	14	A. Podgurski , L. A. Clarke, A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance, IEEE Transactions on Software Engineering, v.16 n.9, p.965-979, September 1990 [doi>10.1109/32.58784]