Text this: Design error diagnosis and correction in digital circuits /