Maciej J. Ciesielski, Cunxi Yu, Walter Brown, Duo Liu, André Rossi
Verification of gate-level arithmetic circuits by function extraction
DAC, 2015.
@inproceedings{DAC-2015-CiesielskiYBLR,
author = "Maciej J. Ciesielski and Cunxi Yu and Walter Brown and Duo Liu and André Rossi",
booktitle = "{Proceedings of the 52nd Annual Design Automation Conference}",
doi = "10.1145/2744769.2744925",
isbn = "978-1-4503-3520-1",
pages = "6",
publisher = "{ACM}",
title = "{Verification of gate-level arithmetic circuits by function extraction}",
year = 2015,
}