DocumentCode :
479517
Title :
Programmable hardware systems using model-based design
Author :
Auger, Denis
fYear :
2008
fDate :
8-9 Oct. 2008
Firstpage :
1
Lastpage :
12
Abstract :
Embedded systems are becoming ever more complex, and the costs of errors incurred during traditional development lifecycles are increasingly unacceptable. This lecture introduces model based design as a method for reducing the likelihood of such errors, and explains how products from The MathWorks such as Simulink and the Simulink HDL Coder can be used to achieve this in the context of programmable hardware. The lecture will be illustrated with a simple example from image processing, illustrating the use of reference models, model elaboration, conversion for fixed-point implementation, HDL generation and verification through co-simulation.
Keywords :
embedded systems; formal verification; hardware description languages; mathematics computing; HDL generation; HDL verification; Simulink HDL coder; embedded systems; image processing; model-based design; programmable hardware systems;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Programmable Hardware Systems, 2008 IET and Electronics Weekly Conference on
Conference_Location :
London
ISSN :
0537-9989
Print_ISBN :
978-0-86341-947-8
Type :
conf
Filename :
4686251
Link To Document :
بازگشت