Describir: Digital System Test and Testable Design