Vikas Rao

According to our database, Vikas Rao authored at least 7 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Algebraic Techniques for Rectification of Finite Field Circuits.

Vikas Rao, Haden Ondricek, Priyank Kalla, Florian Enescu

Proceedings of the 29th IFIP/IEEE International Conference on Very Large Scale Integration, 2021

Word-Level Multi-Fix Rectifiability of Finite Field Arithmetic Circuits.

Vikas Rao, Irina Ilioaea, Haden Ondricek, Priyank Kalla, Florian Enescu

Proceedings of the 22nd International Symposium on Quality Electronic Design, 2021

Rectification of Integer Arithmetic Circuits using Computer Algebra Techniques.

Vikas Rao, Haden Ondricek, Priyank Kalla, Florian Enescu

Proceedings of the 39th IEEE International Conference on Computer Design, 2021

2019

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

2018

Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields.

Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, Florian Enescu

Proceedings of the VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms, 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

Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration, 2018

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

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018