Tests in a model harness and associated reports generated by Simulink Design Verifier. These tests can then be run in simulation. (Graphic: Business Wire)