Formal Verification Engineer

1 week ago

New Delhi, India ACL Digital Full time

Job Title: Formal Verification EngineerLocation: BangaloreExperience: 4+YearsJob Type: Full-timeIndustry: Semiconductor / ASIC Design / EDAEducation: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer EngineeringJob Description:We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be responsible for developing and executing formal verification strategies to ensure functional correctness of complex IP and SoC designs.Key Responsibilities:- Define and implement formal verification strategies and plans. - Develop formal properties and assertions for critical design blocks. - Apply formal techniques such as property checking, sequential equivalence checking, and formal coverage. - Analyze formal results, identify unreachable or vacuous properties, and refine models. - Collaborate closely with RTL designers, DV engineers, and architects. - Integrate formal into overall verification methodology and sign-off. - Document and present formal verification methodologies, assumptions, and results.Required Skills:- 4+ years of experience in formal verification using industry tools (e.g., JasperGold, VC Formal, Questa Formal, OneSpin). - Strong knowledge of SystemVerilog Assertions (SVA) and formal property specification. - Solid understanding of digital design concepts and RTL coding in Verilog/SystemVerilog. - Familiar with formal coverage metrics and convergence techniques. - Experience in debugging complex design bugs using formal tools. - Ability to abstract and model designs or protocols at different levels.Desirable Skills:- Familiarity with safety-critical designs (ISO 26262, DO-254) is a plus. - Knowledge of common protocols: AXI, AHB, PCIe, Ethernet, etc. - Exposure to sequential equivalence checking and abstraction modeling. - Understanding of simulation-based verification and integration with formal. - Proficiency in scripting (Python, Perl, or TCL) for automation.Interested can Share CV to sharmila.b@acldigital.com

  • Design Verification Engineer

    3 days ago

    New Delhi, India Best NanoTech Full time

    Position: Formal verification EngineerAbout the RoleExperience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).Responsibilities- Experience with programming languages (e.g., Python/Perl and TCL). - Experience with at least one formal verification tool...

  • Design Verification Engineer

    5 days ago

    New Delhi, India Best NanoTech Full time

    Position: Formal verification EngineerAbout the RoleExperience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).ResponsibilitiesExperience with programming languages (e.g., Python/Perl and TCL). Experience with at least one formal verification tool (e.g.,...

  • Verification Engineer

    3 weeks ago

    New Delhi, India eInfochips (An Arrow Company) Full time

    Hiring Verification Engineer Location-Noida, Ahmedabad, Bangalore, Pune. Please ignore this mail if you are already in interview process with us or working with us.Job description: Experience- 8+ years · Must have expertise in ASIC verification methodologies and ASIC design flow · Experience working ofSV and UVM methodologyand knowledge of at least one...

  • CPU Verification Engineer

    6 days ago

    New Delhi, India ACL Digital Full time

    CPU Verification Engineers Experience : 4+ years Location : Bangalore & HyderabadWe are seeking a skilled and motivated CPU Verification Engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test...

  • Functional Verification Engineer

    6 days ago

    New Delhi, India ACL Digital Full time

    Lead Functional Verification EngineerExperience: 6+ YearsLocation: BangaloreJob Description:- Lead verification activities for complex CPU cores, memory subsystems, and high-speed PCIe IPs. - Define verification strategy, test plan, and coverage goals based on architecture and spec reviews. - Build and maintain advanced UVM-based testbenches for block and...

  • CPU Verification Engineer

    5 days ago

    New Delhi, India ACL Digital Full time

    CPU Verification EngineersExperience : 4+ years Location : Bangalore & HyderabadWe are seeking a skilled and motivated CPU Verification Engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test...

  • Design Verification Engineer

    3 days ago

    New Delhi, India Proxelera Full time

    Proxelerapartners with organizations as their outsourced product development engine for Semiconductors, Systems, and Tailored Hardware. We unite robust engineering processes with domain mastery to shape impactful technology and expand the industry–academia pipeline for VLSI excellence.About the job:Proxelera is hiringSenior Design Verification...

  • Design Verification Engineer

    2 days ago

    New Delhi, India Proxelera Full time

    Proxelera partners with organizations as their outsourced product development engine for Semiconductors, Systems, and Tailored Hardware. We unite robust engineering processes with domain mastery to shape impactful technology and expand the industry–academia pipeline for VLSI excellence.About the job:Proxelera is hiring Senior Design Verification Engineers...

  • Design Verification Engineer

    2 days ago

    New Delhi, India Proxelera Full time

    Proxelera partners with organizations as their outsourced product development engine for Semiconductors, Systems, and Tailored Hardware. We unite robust engineering processes with domain mastery to shape impactful technology and expand the industry–academia pipeline for VLSI excellence.About the job:Proxelera is hiring Senior Design Verification...

  • Senior Design Verification Lead

    3 weeks ago

    New Delhi, India HCLTech Full time

    Hello VLSI folks!HCL Engineering - Semiconductor - Hiring Design Verification Engineer (Senior Level - 5 to 20Years years’ experience) - Chennai, Bangalore.Interested aspirants could email your profile to magenderan.r@hcltech.com /Call 8050996119.We will discuss in details on the job profile & responsibilities.Company: HCL TechJob Summary:We are seeking a...