2

"AFMG: Automatic Functional Model Generation System for Digital Logic Simulation"
Changho Han, Sungho Kang, Stephen A. Szygenda
Proceedings of IEEE International ASIC Conference
pp.12-2.1 - 12-2.4, September, 1991

1

"MOVE: Model Verification System"
Sungho Kang, Stephen A. Szygenda
Proceedings of IEEE International Conference on Computers and Communications
pp.762-768, March 1991