| 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=3118501&uid=02c137526c4a4d9cb6bb327a7eaf5ab8 From: Anchal, Tek Inspirations [email protected] Reply to: [email protected] Job Role: Formal Verification Engineers for an AI accelerator. Location: Austin, San Jose, Dallas( onsite) Interview Process: 1 phone screen, 1 technical interview , CARD, , 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=3118501&uid=02c137526c4a4d9cb6bb327a7eaf5ab8 |
| [email protected] View All |
| 07:53 PM 09-Feb-26 |