Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker. Equivalence checking of partial designs using dependency quantified Boolean formulae. In 2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013. pages 396-403, IEEE, 2013. [doi]
@inproceedings{GitinaRSWSB13-0,
title = {Equivalence checking of partial designs using dependency quantified Boolean formulae},
author = {Karina Gitina and Sven Reimer and Matthias Sauer and Ralf Wimmer and Christoph Scholl and Bernd Becker},
year = {2013},
doi = {10.1109/ICCD.2013.6657071},
url = {http://dx.doi.org/10.1109/ICCD.2013.6657071},
researchr = {https://researchr.org/publication/GitinaRSWSB13-0},
cites = {0},
citedby = {0},
pages = {396-403},
booktitle = {2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013},
publisher = {IEEE},
}