Cloud native EDA tools & pre-optimized hardware platforms
Sid Papineni is a Sr. Staff Applications Engineer at 金莲直播 and works on formal verification consulting services and 金莲直播 VC Formal SEQ, DPV, and product engineering activities. Sid has 11+ years of experience in the formal verification domain, focused mainly on formal property verification and datapath validation methodologies.
Follow on: