System Integration and Verification

Today, typical single chip electronic system implementations include a mixture of µCs, DSPs as well as shared memory, dedicated logic (ASICs), and interconnect components [182]. To enable designers to create such complex systems, new system design methodologies have been introduced in recent years. One example is the orthogonalization of concerns [140], i.e. the separation of various aspects of design to allow a more effective exploration of alternative solutions and to ease verification. Here, it is proposed to separate between: function (what the system is supposed to do) and architecture (how it does it), and communication and computation.