This video demonstrates how to use Simulink^® for certification on an aerospace certification application which needs to comply with the DO-254 standard. This includes the use of model verification tools, many of which can be qualified using the DO Qualification Kit. It also shows how to use HDL Coder™ to generate traceable and well-commented code and HDL Verifier™ for cosimulation and verification of the final implementation.