This paper presents a formal approach to assist designers in the early stages of QoS-aware NoC design. Reuse of validated topologies and communication mechanism specifications are listed as a proposal benefit, which can potentially minimize risks and costs in the next steps of the process design, e.g. code generation and simulations. Additionally, qualitative analysis of essential project properties, mainly communication issues like latency and throughput, can be also achieved from formal specifications. Z notation was used as a formal description technique.
展开▼