On the verification of synthesized designs using automatically generated transformational witnesses

• Authors:

• E. Teica;R. Radhakrishnan;R. Vemuri

• Affiliations:

• Dept. of ECECS, University of Cincinnati, Cincinnati, OH;Dept. of ECECS, University of Cincinnati, Cincinnati, OH;Dept. of ECECS, University of Cincinnati, Cincinnati, OH

• Venue:
• Proceedings of the conference on Design, automation and test in Europe
• Year:
• 2001