HIKINEX ยท 1 month ago
Formal Verification Engineer for Fastwater Staffing
CA, US
Full-time
Hybrid
Senior Level
5+ years expHIKINEX is a company seeking a Formal Verification Engineer to define comprehensive verification plans and strategies. The role involves proving the functional correctness of design features and delivering high-quality IP or blocks through formal verification methods.
Business DevelopmentCustomer ServiceOutsourcingProfessional Services
Responsibilities
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
Qualification
Required
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
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
Preferred
Experience with interactive theorem proving is a plus
Company
HIKINEX
Hikinex is an outsourcing company that focuses on recruiting management, customer care support, lead generation and business networking.
201-500 employees
Funding
Current Stage
Growth StageLeadership Team
A
Andy Jimenez
CSO & Co-Founder
Company data provided by crunchbase