System description languages like SystemC and synchronous languages like Esterel are becoming more and more popular for the efficient development of modern hardware-software systems. The common goal of these languages is to establish a model-based design flow, where different design tasks like simulation, verification and code generation (for both hardware and software) can be performed on the basis of a single system description.
Download link
Embedded Systems Specification and Design Languages Selected Contributions