Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms
Job Summary
Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms.
Collaborates with architects, RTL developers, and physical design teams to improve verification of complex architectural and microarchitectural features.
At the Data Center Group (DCG), we're committed to delivering exceptional products and delighting our customers.
Matching Summary
Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms.