[IEEE [1992] Proceedings. Fifth Annual IEEE International ASIC Conference and Exhibit - Rochester, NY, USA (21-25 Sept. 1992)] [1992] Proceedings. Fifth Annual IEEE International ASIC Conference and Exhibit - Automatic error pattern generation for design error detection in a design validation simulation system