Sasivarnam J
Formal Verification Engineer @Synopsys Inc || Ex: Intern @ Cadence
- Role
- Application Engineer (Formal Verification) at Synopsys Inc
- Location
- Vellore, IN
- LinkedIn followers
- 500 followers
Experience
Application Engineer (Formal Verification)
Aug 2024 — Present · Bengaluru, IN
Work Experience:1) Debugging properties and convergence issues using VC Formal FPV App.2) Debugging connectivity in SoC designs using VC Formal CC App.3) Analyzing formal coverage using FCA and VCS UNR-based applications.4) Creating and managing TCL scripts for executing flows across all VC Formal Apps.5) Reducing design complexity, runtime, and memory usage in formal verification.6) Tools used: VC Formal FPV, FCA, CC Apps, and VCS UNR.
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.