Sundaram Subramanian

Sundaram Subramanian is an experienced professional in the field of formal verification, currently serving as the Formal Verification Lead at Enfabrica since March 2022. Prior to this role, Sundaram held several significant positions including Principal Engineer and Formal Verification Lead at Broadcom Inc. from September 2014 to March 2022, and similar roles at Soft Machines from January 2011 to August 2014. Additional experience includes a position as Staff Formal Verification Engineer at Qualcomm from October 2007 to January 2011, and managerial roles focused on Assertion IP at 0-in Design Automation and Mentor Graphics Corporation from 2000 to 2008. Sundaram's career also features a tenure at Synopsys Inc as Manager of Hardware Modeling from 1994 to 2000, and earlier work as a Design Verification Engineer at Logic Modeling from 1991 to 1994, as well as an Associate Systems Engineer at CMC LTD from July 1988 to June 1991.