First ACM & IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2003)

High-level design and modeling of hardware and embedded hardware-software systems has gained prominence in the face of rising technological complexities and performances, as well as shortened time to market demands for complex electronic equipments. Numerous programming languages, tools and frameworks have been proposed in the past to design, simulate and validate heterogeneous systems within an abstract and rigorously defined mathematical model.
Recently, attention has shifted to modeling frameworks based on variants of general purpose programming languages, in response to the growing industry demand for use of higher levels of abstraction in the system design process. Meanwhile, the installed base of existing IP adds further requirements for the adaptation of existing IPs with new services within complex integrated architectures, calling for appropriate methodological approaches.