CodeSign: An embedded system design environment

Recent gains achieved in efficiency and the mastering of complexity during the design of embedded systems have been due to the introduction of languages and methodologies that add additional levels of abstraction. However, introducing further levels of abstraction results in an ...