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

Authors:
Mike Mills;Greg Peterson
Affiliations:
Air Force Research Lab, Information Technology Division, Wright-Patterson AFB OH;Air Force Research Lab, Information Technology Division, Wright-Patterson AFB OH
Venue:
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Year:
1998

Citing 3
Cited 4

A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance

IEEE Transactions on Software Engineering
Ada outperforms assembly: a case study

TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Developing and integrating ProDAG in the Arcadia environment

SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments

SIGda '96, workshop: how do we expedite the commercial use of Ada?

ACM SIGAda Ada Letters
Making alive register transfer level and transaction level modeling in Ada

ACM SIGAda Ada Letters
Making alive register transfer level and transaction level modeling in Ada

ACM SIGAda Ada Letters
Investigating SystemAda: TLM_FIFO detailed characteristics proof, TLM2.0 interfaces implementation, simulation time comparison to SystemC

ACM SIGAda Ada Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract