Title: On the testability and diagnosability of digital systems