Java as a specification language for hardware-software systems
- 1 January 1997
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10923152,p. 690-697
- https://doi.org/10.1109/iccad.1997.643613
Abstract
The specification language is a critical component of the hardware-software co-design process since it is used for functional validation and as a starting point for hardware-software partitioning and co-synthesis. The paper proposes the Java programming language as a specification language for hardware-software systems. Java has several characteristics that make it suitable for system specification. However static control and data flow analysis of Java programs is problematic because Java classes are dynamically linked. The paper provides a general solution to the problem of statically analyzing Java programs using a technique that pre-allocates most class instances and aggressively resolves memory aliasing using global analysis. The output of the analysis is a control data flow graph for the input specification. The results for sample designs show that the analysis can extract fine to coarse-grained concurrency for subsequent hardware-software partitioning and co-synthesis steps of the hardware-software co-design process to exploit.Keywords
This publication has 7 references indexed in Scilit:
- An Efficient Implementation Of Reactivity For Modeling Hardware In The Scenic Design EnvironmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Multiple-process behavioral synthesis for mixed hardware-software systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Compiling Java just in timeIEEE Micro, 1997
- Efficient context-sensitive pointer analysis for C programsPublished by Association for Computing Machinery (ACM) ,1995
- Specification and design of embedded hardware-software systemsIEEE Design & Test of Computers, 1995
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- The Verilog® Hardware Description LanguagePublished by Springer Nature ,1991