Abhishek Anand

Abhishek Anand is a Principal Formal Verification Engineer at SiFive since March 2022. Prior to this role, Abhishek served as the Formal Verification Lead for the Barefoot Division at Intel Corporation from January 2020 to March 2022. Abhishek's experience also includes a position as a Senior Formal Verification Engineer at NVIDIA from November 2017 to December 2019, focusing on formal verification of GPU blocks. Earlier, Abhishek worked at Oski Technology, Inc. as a Formal Verification Engineer, where responsibilities included formal verification of digital designs, particularly in Networking and GPU chips. Abhishek's career began with a summer internship at Konica Minolta in 2013, concentrating on circuit design for printer head verification. Abhishek holds a B. Tech degree in Electrical and Electronics Engineering from the Indian Institute of Technology, Delhi, completed in 2014.