Systems design: From formal specification to laying out

摘要

The complexity of electron systems (systems on a chip) has evolved dramatically. Thus, higher abstract levels are needed and system level design languages must account for these changes. The ECOS project addresses these different problems fromformal specification to hardware/software partitioning.