A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is
Hardware-software codesign results of concurrent embedded realtime systems are often not easily verifiable. The main difficulty lies in the different time-scales of the embedded hardware, of the embedded software, and of the environment. This rate difference causes state-space explosions and hence coverification has been mostly restricted to the initial system specifications. Currently, most codesign tools or methodologies only support validation in the form of cosimulation and testing. Here,doi:10.1145/301177.301501 dblp:conf/codes/Hsiung99 fatcat:jifrmb3g7zbrvgchrn5piqfroq