David Van Campenhout

• Functional design verification for microprocessors by error modeling