A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
Java as a specification language for hardware-software systems
1997
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97
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 hardwaresoftware partitioning and co-synthesis. This 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 dataflow analysis of Java programs is problematic because Java
doi:10.1109/iccad.1997.643613
dblp:conf/iccad/HelaihelO97
fatcat:z2r4ykqrlfeuho5ozvgdsmgcya