Digital Systems Testing And Testable Design