Formal Analysis of a Hardware Dynamic Task Dispatcher with CADP

Download Now
Provided by: INRIA
Topic: Hardware
Format: PDF
The complexity of multiprocessor architectures for mobile multimedia applications renders their validation challenging. In addition, to provide the necessary flexibility, a part of the functionality is realized by software. Thus, a formal model has to take into account both hardware and software. In this paper, the authors report on the use of the CADP toolbox for the formal modeling and analysis of the DTD (Dynamic Task Dispatcher), a complex hardware block of an industrial hardware architecture developed by STMicroelectronics.
Download Now

Find By Topic