MDG Tools for the Verification of RTL Designs. - K. D. Anon; N. Boulerice; Eduard Cerny; Francisco Corella; Michel Langevin; Xiaoyu Song; Sofiène Tahar; Ying Xu; Zijian Zhou 001 (CAV, 1996)