MDG Tools for the Verification of RTL Designs

• Authors:

• K. D. Anon;N. Boulerice;Eduard Cerny;Francisco Corella;Michel Langevin;Xiaoyu Song;Sofiène Tahar;Y. Xu;Z. Zhou

• Affiliations:

• -;-;-;-;-;-;-;-;-

• Venue:
• CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
• Year:
• 1996