Abstract :
The following topic are dealt with: formal method; quality assurance; hardware modelling; automotive application; industrial application; and multiprocessor DSP system.
Keywords :
digital signal processing chips; formal verification; microprocessor chips; quality assurance; software quality; automotive application; formal method; hardware modelling; multiprocessor DSP system; quality assurance;
Conference_Titel :
Rapid System Prototyping, 2009. RSP '09. IEEE/IFIP International Symposium on
Conference_Location :
Paris
Print_ISBN :
978-0-7695-3690-3
