The Codesign of Embedded Systems: A Unified Hardware/Software Representation