| Formal Verification Engineers for an AI accelerator. at Remote, Remote, USA |
| Email: [email protected] |
|
http://bit.ly/4ey8w48 https://jobs.nvoids.com/job_details.jsp?id=3137485&uid=3ff892b4c2c440c7a24923abe4150d11 From: Anchal, Tek Inspirations [email protected] Reply to: [email protected] Job Role : Formal Verification Engineers Location: San Jose, California Job type: Onsite MOI: Skype Linked in is must have !! Formal Verification Engineers for an AI accelerator. Location: Austin, San Jose, Dallas, onsite, travel 0% Contract: 6 months+; Start: ASAP Interview Process: 1 phone screen, 1 technical interview; Feedback SLA: 48 hours Why Hiring: Immediate need for formal verification expertise; Critical gap in floating-point verification. End Product: Verified floating-point data paths for AI accelerator. Tech/Domain Environment: - Verilog, SystemVerilog - Synopsys tools, Cadence tools - IEEE 754 compliance - Formal verification, property verification Job Duties: - Conduct formal verification on floating-point data paths. - Ensure IEEE compliance for floating-point operations. - Collaborate with design teams on verification strategies. - Document verification processes and results. - Identify and resolve verification issues in data paths. - Perform property verification as part of the overall strategy. Must Haves: - 5+ years formal verification experience in production. - Experience with floating-point multiply accumulate (F-MAC) data paths. - Experience with floating-point divider data paths. - Proven track record of IEEE 754 compliance verification. - Familiarity with Synopsys EDA tools in production. - Experience in CPU, GPU, or DSP design environments. Nice to Haves: - Experience with Cadence tools in formal verification. - Background in integer-side formal verification. - Familiarity with property verification methodologies. - Experience with ASIC design flows. - Knowledge of formal verification techniques and tools. Thanks and Regards, Anchal Kumari Technical Recruiter Keywords: artificial intelligence card Formal Verification Engineers for an AI accelerator. [email protected] http://bit.ly/4ey8w48 https://jobs.nvoids.com/job_details.jsp?id=3137485&uid=3ff892b4c2c440c7a24923abe4150d11 |
| [email protected] View All |
| 07:52 PM 16-Feb-26 |