To detect occurrences of nonfinite, NaN, and subnormal floating-point values in a model: On the Design Verifier tab, in the Mode section, select Design Error Detection. Click Error Detection Settings. In the Configuration Parameters dialog box, in Design Error Detection pane: Select the check bo...