Hardware-software (HW-SW) codesign is an attempt to integrate hardware and software design techniques. A critical feature of all codesign methods is evaluation of the performance …
The development of tools for the design of both hardware and software systems draws great benefits from the use of formal methods, especially if they offer a descriptive capacity …
Rigorous techniques must be embraced in order to reduce the risk of designing bug-affected devices. Use of formal techniques solves several design matters, but often synthesis is …
Raising complexity of hardware devices being developed and increasing time-to-market constraints has scaled up the risk of designing bug-affected devices augmenting the interest …
CoDesign aims to integrate the design techniques of hardware and software. In this work, we present a CoDesign methodology based on a formal approach to embedded system …