A BNF-based automatic test program generator for compatible microprocessor verification

Lieh-Ming Wu, Kuochen Wang, Chuang-Yi Chiu. A BNF-based automatic test program generator for compatible microprocessor verification. ACM Trans. Design Autom. Electr. Syst., 9(1):105-132, 2004. [doi]

Authors

Lieh-Ming Wu

This author has not been identified. Look up 'Lieh-Ming Wu' in Google

Kuochen Wang

This author has not been identified. Look up 'Kuochen Wang' in Google

Chuang-Yi Chiu

This author has not been identified. Look up 'Chuang-Yi Chiu' in Google