1. Continuous verification for hardware/software multimedia systems Philippe Faes

2. pag. 2Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Designing once becomes iterative design requirements design implementation verification requirements design implementation verification

3. pag. 3Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Iterative design requires more verification working system +small change in feature X = broken feature Y

4. pag. 4Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Regression verification (RV) ensures progress-only projects progression regression (painful)

5. pag. 5Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen RV provides a “contract” never break regression verification: tomorrow ≥ than today working code is never broken never discover bugs twice

6. pag. 6Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen RTs reduce fear fearboredom... dixit Fowler

7. pag. 7Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Requirements for good RV limited scope fast traceable reproducible

8. pag. 8Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Good RTs are reproducible uncontrolled environment systemtest results controlled input X

9. pag. 9Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Good RTs are reproducible uncontrolled environment systemtest results controlled input X

10. pag. 10Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Regression verification needs to be automated

11. pag. 11Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Easy testing requires design for testability unit x unit ytest harness unit under test

12. pag. 12Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Functionality and data should be split test data test harness unit under test

13. pag. 13Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Functionality and data should be split test data unit under test harness

14. pag. 14Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen software MMIO library is standard interface between SW and HW hardware

15. pag. 15Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen software MMIO library provides transparent access simulated hardware real hardware log files

16. pag. 16Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Transaction can be logged and replayed w 0 00000000 00000000 f w 0 00000004 00000012 f w 0 00000004 00000123 f p 0 00000014 00000001 1 r 0 00000008 00000135 f read write poll busaddressdata byte enable

17. pag. 17Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Example: verification of video decoder EDIDWTMCAS Software

18. pag. 18Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen EDIDWTMCAS Software Verify hardware components one by one IDWT Software logger

19. pag. 19Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Verify hardware components without software IDWT log replayer

20. pag. 20Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Regression test server does the hard work for you build the system run tests regularly notify stakeholders log failures

21. pag. 21Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Regression verification in iterative hardware design regression defects are painful good RV catches regression defects RV can be automated

22. pag. 22Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen

23. pag. 23Hardware Regression Verification – Philippe Faes – 02007-03-21 Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen