Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley
Solver technology for system-level to RTL equivalence checking
DATE, 2009.
@inproceedings{DATE-2009-KoelblJJP,
author = "Alfred Kölbl and Reily Jacoby and Himanshu Jain and Carl Pixley",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "196--201",
publisher = "{IEEE}",
title = "{Solver technology for system-level to RTL equivalence checking}",
year = 2009,
}