Formal Verification Framework for Hardware IPs Validation
- Location
- Greater London, England, United Kingdom
into the verification flow. The responsibility goes end-to-end: starting at the specification level, defining the verification strategy & plan, executing the verification, doing performance analysis and handling all the different quality metrics to signoff the verification. Description Define comprehensive property sets for functional coverage of hardware modelsFormalize ...