Senior Formal Verification Engineer - Bangalore
VelauraHSR Layout, BangalorePosted 15 days ago
A free account shows the apply link for every role and matches you to the ones that fit your resume.
About the role
Velaura is developing compute technology for cloud, edge, and Physical AI applications. You will prove complex SoC designs correct, build reusable formal verification methods, and integrate proof coverage into verification signoff.
What you'll do
- Own formal verification for complex SoC blocks
- Write SVA properties and formal testbenches
- Debug counterexamples and drive proof convergence
- Verify arithmetic units for IEEE-754 compliance
- Build reusable formal verification apps
- Integrate formal regression and proof tracking into CI
Skills
Must have
- Formal verification
- Systemverilog assertions
- Formal property development
- Constraint modeling
- Computer architecture
- Microarchitecture
- Floating-point arithmetic
- Ieee 754
- Scripting and automation
Nice to have
- Formal datapath verification
- Arithmetic equivalence checking
- Vector processing
- Simd
- Security verification
- Protocol verification
- Cache coherence
- Memory consistency
Tools
- Jaspergold
- Vc formal
- Questa formal
- Onespin
Who it's for
- Experience
- 10+ years
- Domain
- physical ai semiconductors
About Velaura
Velaura has 15 open roles in Bangalore, at Velaura AI India Pvt Ltd. See every Velaura role.
More at Velaura
Lead or staff · 10+ years
15 days ago
Entry level · Fresher friendly
15 days ago
Lead or staff · 8+ years
15 days ago
15 days ago
Lead or staff
15 days ago
15 days ago
Entry level · Fresher friendly
15 days ago
Lead or staff
A month ago
Similar roles
All hardware and electronics jobs
NXP Semiconductors India · Lead or staff · 12 to 15 years
10 days ago