Formal Verification Engineer

9 hours 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



  • New Delhi, India 7hillsTS Full time

    SoC Verification Engineer (Formal, 6–8 Yrs) Pune/BengaluruExperienced SoC Verification Engineers with strong expertise in Formal Verification using JasperGold.Experience: 6–8 yearsMust-Have Skills: JasperGold, SVA, RTL DebugGood to Have: UVM, low-power/security verification


  • 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...


  • New Delhi, India ACL Digital Full time

    Hi,Greetings from ACL Digital,Looking for CPU Verification EngineersExp level: 4+yearsLocation: BangloreJob Description:We 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 high-performance, low-power CPU cores by developing scalable...


  • New Delhi, India ACL Digital Full time

    Hi,Greetings from ACL Digital,Looking for CPU Verification EngineersExp level: 4+years Location: BangloreJob Description: We 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 high-performance, low-power CPU cores by developing scalable...


  • New Delhi, India 7hillsTS Full time

    Exp: 8 to 15 Years Location: BangaloreJob Description: • 8+ years of hands-on DV experience in SystemVerilog/UVM. • Must be able to own and drive the verification of a block / subsystem or a SOC. • Should have a track record of leading a team of engineers. • Extensive experience in IP/sub-system and/or SoC level verification based on SV/UVM. •...


  • New Delhi, India Synopsys Inc Full time

    We Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the...


  • New Delhi, India Geesesquads Full time

    Senior Verification EngineerDescriptionWe are hiring! Are you passionate about microprocessor architecture? We need you! As a Senior Verification Engineer, you will work within the Verification Team and play a crucial role in ensuring the correctness and functionality of complex digital designs at the Register Transfer Level according to the specification,...


  • New Delhi, India Mirafra Technologies Full time

    Mirafra is a technology design services company with a high level of expertise in semiconductor design and embedded software development including applications. Founded in 2004, the company has proven expertise in ASIC design from Spec to Silicon and software development end to end. The company has a worldwide presence with its HQ in Bangalore and design or...


  • New Delhi, India L&T Technology Services Full time

    Responsibilities : You should be a verification engineer with a knowledge of SoC integration verification, SoC scenario verification, SoC performance verification, CHI/PCIe/CXL, DDRx/LPDDRx integration verification in SoC RTL. Project experience with ARM based ecosystem components ( A-series ARM Cores, SMMU, GIC, Core sight, NIC and other complex bus...


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

    Position: AMS Verification EngineersExperience: 5+ YearsLocation: Bangalore, Hyderabad, Ahmedabad, NoidaKey Responsibilities:Lead the planning, development, and execution of AMS verification strategies for analog/mixed-signal IPs and SoCs.Define and implement verification plans, including testbenches, stimulus generation, and checking strategies.Develop and...