On the verification of synthesized designs using automatically generated transformational witnesses.

Elena Teica, Rajesh Radhakrishnan, Ranga Vemuri

Browse the full DATE paper archive.