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, }