Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques. - Vikas Rao; Utkarsh Gupta; Irina Ilioaea; Arpitha Srinath; Priyank Kalla; Florian Enescu (FMCAD, 2018)

On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields. - Utkarsh Gupta; Irina Ilioaea; Vikas Rao; Arpitha Srinath; Priyank Kalla; Florian Enescu (VLSI-SoC, 2018)

Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields. - Utkarsh Gupta; Irina Ilioaea; Vikas Rao; Arpitha Srinath; Priyank Kalla; Florian Enescu (VLSI-SoC (Selected Papers), 2018)

Boolean Gröbner Basis Reductions on Finite Field Datapath Circuits Using the Unate Cube Set Algebra. - Utkarsh Gupta; Priyank Kalla; Vikas Rao (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Rectification of Integer Arithmetic Circuits using Computer Algebra Techniques. - Vikas Rao; Haden Ondricek; Priyank Kalla; Florian Enescu (ICCD, 2021)

Word-Level Multi-Fix Rectifiability of Finite Field Arithmetic Circuits. - Vikas Rao; Irina Ilioaea; Haden Ondricek; Priyank Kalla; Florian Enescu (ISQED, 2021)

Algebraic Techniques for Rectification of Finite Field Circuits. - Vikas Rao; Haden Ondricek; Priyank Kalla; Florian Enescu (VLSI-SoC, 2021)