Formal verification
Mirafra Technologies
Bengaluru ,Karnataka , IN 
Full–time Posted on: March 16, 2026
- Demonstrated expertise in constraint random functional and formal verification
- Proficiency in hardware verification utilizing System Verilog UVM
- Skilled in formal verification with Cadence Jasper Gold
- Familiarity with regression, coverage analysis tools, and test bench qualification
- Proven track record of collaboration in international, cross-functional technical teams
About Company
Mirafra Technologies
Karnataka ,IN
.svg)
https://mirafra.com
Your next job is waiting
Create your profile and start applying in minutes.