WHAT YOU'LL DO :
Define comprehensive formal verification plans, strategies, and methods for a high-quality verification sign-off
Review and aid in developing the RTL design architecture and specification
Prove functional correctness of design features using formal verification methods like model checking, logical equivalence checking, or theorem proving
Formal sign-off delivering high quality IP or block in conjunction with simulation-based methodology for overall verification closure
Develop and maintain regressions, tools, infrastructure, and integrated formal and functional verification methodology
WHAT YOU'LL BRING :
Degree in Electrical, Computer Science, Computer Engineering or equivalent experience
5+ years of work experience in verifying complex hardware systems using model checking or logical equivalence checking formal methods
Experience with interactive theorem proving is a plus
Solid programming skills in Verilog, System Verilog, SVA or PSL, and any scripting language like Tcl, Python, or Perl
Proficient in debugging CPU, GPU, fabric, NOC, memory, various protocols like PCIE or Ethernet, or other complex ASIC designs
Knowledge of advanced computer architecture and micro-architecture concepts
Similar Jobs
What We Do
Hikinex is a company that provides scalable business support. We specialize on supporting growing businesses. Our HIKINEX agents are found, trained, and promoted to effortlessly integrate into businesses of all sizes. in a diverse number of different industries We are passionate about our clients and strive to provide an unrivaled experience. As a result, our employees are highly trained, our services are fully scalable, and our monthly plans are commitment free. We've invest heavily into our clients, and our processes reflect our commitment to their success. Your team at HIKINEX is dedicated to your success. Client Engagement, Recruiting Services, Sales Support, Marketing Support, & Back-office Support are mostly of the HIKINEX services
