Email Record: Design error diagnosis and correction in digital circuits /