At TechBiz Global, we are providing recruitment service to our TOP clients from our portfolio. We are currently seeking a Coherency Verification Engineer to join one of our clients' teams. If you're looking for an exciting opportunity to grow in a innovative environment, this could be the perfect fit for you.
Responsibilities:

- Verify complex digital designs at RTL level according to architecture and design specifications.

- Develop and maintain verification environments using SystemVerilog and UVM.

- Create, execute, and debug test plans for block-level, subsystem-level, and top-level verification.

- Work on the verification of coherent systems, including cache-related functionality and interconnect behavior.

- Validate designs involving CHI protocol, cache structures, coherency mechanisms, and system-level interactions.

- Run and manage simulations, regressions, and debug failures using industry-standard verification tools.

- Apply both formal and dynamic verification methodologies to identify design issues early.

- Use scripting languages such as Python, Perl, Bash, or TCL to automate verification flows and regression processes.

- Collaborate closely with architecture, design, and verification teams to analyze specifications, clarify requirements, and resolve issues.

- Track, document, and communicate verification progress, bugs, coverage status, and technical risks.

- Contribute to continuous improvement of verification methodology, tools, and best practices.

Requirements

- Master or PhD

- English C1

- Industrial experience +8 years

- Proficiency in SystemVerilog and UVM

- Knowledge of scripting languages (Python, Perl, Bash, TCL) and regression tools

- Experience with simulation and simulation tools

- Knowledge of revision control methodology and tools (git, svn)

- Experience in block level and sub-system or top level verification

- Experience with formal and dynamic verification

- Strong problem-solving skills and attention to detail

- Excellent communication and teamwork abilities

- Knowledge of the CHI protocol

- Understanding of caches' structure and parameters

- Experience in verification of coherent systems