Hilo example - test 4

     $ cover -report html
     Reading database from cover_db

     ------------------------------------------ ------ ------ ------ ------ ------
     File                                         stmt branch   cond   time  total
     ------------------------------------------ ------ ------ ------ ------ ------
     tests/hilo                                 100.00 100.00    n/a 100.00 100.00
     Total                                      100.00 100.00    n/a 100.00 100.00
     ------------------------------------------ ------ ------ ------ ------ ------

     HTML output sent to tests/hilo4/cover_db/cover_db.html

• 100% tested as far as statement and branch cover is concerned

• Could have been done in 2 rather than 4 tests

• HDLs

• Minimise testing effort

  • Reduce overhead

  • Reduce number of tests

  • Order tests