Programmable hardware systems using model-based design

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.