Publications Daniela Ritirc

2018

Daniela Ritirc, Armin Biere, Manuel Kauers. Improving and Extending the Algebraic Approach for Verifying Gate-Level Multipliers. To appear in Design, Automation and Test in Europe (DATE'18), IEEE 2018.
[ paper | bibtex | experiments ]

2017

Armin Biere, Manuel Kauers, Daniela Ritirc,. Challenges in Verifying Arithmetic Circuits Using Computer Algebra. To appear in Proc. 19th Intl. Symp. on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'17), IEEE.
[ paper | bibtex ]

Best paper
Daniela Ritirc, Armin Biere, Manuel Kauers. Column-Wise Verification of Multipliers Using Computer Algebra. In Proc. 17th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'17), pages 23-30, IEEE 2017.
[ paper | bibtex | experiments | pictures ]