Responsibilities
- Define critical design behaviors to establish comprehensive test strategies for complex hardware systems.
- Execute test strategies using advanced formal methods, including creating environment constraints, logical assertions, and coverage targets.
- Construct abstraction models to manage design complexity and achieve complete or sufficiently covered bounded proofs.
- Optimize formal verification tools to achieve peak performance and efficiency.
- Analyze RTL code to diagnose root causes of verification failures.
- Support the creation of automated workflows and scripting tools to enhance team productivity.
- Communicate formal verification progress and coverage metrics to collaborating teams.
