AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Vikas Kumar Rao

Vikas Kumar Rao

University of Utah - Salt Lake City / United States
Others
AD Scientific Index ID: 5455173
person_outline Vikas Kumar Rao's MOST POPULAR ARTICLES
1-) Post-verification debugging and rectification of finite field arithmetic circuits using computer algebra techniques 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
2-) Boolean Gröbner basis reductions on finite field datapath circuits using the unate cube set algebra IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
3-) On the rectifiability of arithmetic circuits using craig interpolants in finite fields 2018 IFIP/IEEE International Conference on Very Large Scale Integration …, 2018
4-) Rectification of integer arithmetic circuits using computer algebra techniques 2021 IEEE 39th International Conference on Computer Design (ICCD), 186-195, 2021
5-) Word-level multi-fix rectifiability of finite field arithmetic circuits 2021 22nd International Symposium on Quality Electronic Design (ISQED), 41-47, 2021