Validation tools for complex digital designs. - Chian-Min Richard Ho (1996)