Formal verification engineer - cadence jaspergold
BangaloreMaimsD Technology
...using trace, trigger, and counterexample debugging- Work closely with RTL designers to improve design quality and verifiability- Complement formal verification with simulation-based verification using UVM, where necessary- Develop reusable formal verification frameworks, constraints, and checkers- Actively review designs for [...]
Category IT & Telecommunications