Elena Teica, Rajesh Radhakrishnan, Ranga Vemuri
On the verification of synthesized designs using automatically generated transformational witnesses
DATE, 2001.
@inproceedings{DATE-2001-TeicaRV,
author = "Elena Teica and Rajesh Radhakrishnan and Ranga Vemuri",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367981",
isbn = "0-7695-0993-2",
pages = "798",
publisher = "{ACM}",
title = "{On the verification of synthesized designs using automatically generated transformational witnesses}",
year = 2001,
}