E C E 553 - TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS