Mitesh JainStaff R&D Engineer at Synopsys Inc
At Synopsys, I am working on developing automated verification tools for sequential equivalence checking. I have eight plus years of industry experience in designing high-performance microprocessors and low-power DSP cores. I have worked on several aspects of the microprocessor design ranging from digital design, verification, and performance modeling. My main research is in mechanized formal verification and validation of reactive systems.