Hardware/software co-design of complex embedded systems: An approach using efficient process models, multiple formalism specification and validation via Co-simulation

DOI10.1023/A:1022388018837zbMath1009.68556OpenAlexW2262818840MaRDI QIDQ1865036

Yanyan Li

Publication date: 25 March 2003

Published in: Design Automation for Embedded Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022388018837

zbMATH Keywords

embedded systemshardware/software co-designCo-design process modelsco-modelingmultiple specification formalisms

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

This page was built for publication: Hardware/software co-design of complex embedded systems: An approach using efficient process models, multiple formalism specification and validation via Co-simulation