| Formal Verification Engineers || Onsite || TX at Remote, Remote, USA |
| Email: [email protected] |
|
http://bit.ly/4ey8w48 https://jobs.nvoids.com/job_details.jsp?id=3101911&uid=a9060e229b4b4e908cdfa9397d07bc6b From: Aditya Sharma, GVR Infotek [email protected] Reply to: [email protected] Job Description 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. Please share your resume at [email protected] Keywords: artificial intelligence card Formal Verification Engineers || Onsite || TX [email protected] http://bit.ly/4ey8w48 https://jobs.nvoids.com/job_details.jsp?id=3101911&uid=a9060e229b4b4e908cdfa9397d07bc6b |
| [email protected] View All |
| 02:09 AM 03-Feb-26 |