Please login to view the entire Verification Horizons article.
Please register or login to view.
Building a complex signal processing function requires a deep understanding of the signal characteristics and of the different algorithms and their performances.
When it comes to the verification (a) of such designs, a quite generic approach consists of injecting more or less realistic stimulus and using reference models (most often C or Matlab ® ), to compare the expected results.
Requirement based designs following a DO-254 (1) process add the constraints that each function of the design should be specified as a traceable requirement. The proof of the complete verification of each requirement should also be provided with additional emphasis on physical verification, therefore running the tests on the physical device.
This article
...