Current jobs related to STA and Formal Verification Specialist - Bengaluru, Karnataka - ACL Digital

  • Silicon Formal Verification Specialist

    2 days ago

    Bengaluru, Karnataka, India Mulya Technologies Full time

    Silicon Formal Verification SpecialistFounded in 2023 by industry veterans, Mulya Technologies is revolutionizing sustainable AI compute through intuitive software with composable silicon.We are seeking a Silicon Formal Verification Specialist to develop and apply formal verification techniques to ensure functional correctness and completeness of our...

  • STA Engineer

    17 hours ago

    Bengaluru, Karnataka, India ACL Digital Full time

    Hi,Greetings from ACL Digital,Looking for STA/ Synthesis Engineer:1. Exp: 3+ years2. Availability: immediate to 30 days3. Experience in Synthesis, STA, Lint, CDC, Spyglass, Formal Verification and good debugging skills.4. CLP/LEC.Interested can share CV to sharmila.b@acldigital.com

  • Formal Verification Intern

    4 weeks ago

    Bengaluru, Karnataka, India Synopsys Inc Full time

    Job DescriptionFormal Verification Engineer at Synopsys, you will be responsible for formally verifying complex design IPs. Synopsys IP Group has a strong formal verification methodology that enables hardware verification engineers to use FV tools and techniques successfully on complex and/or critical RTL logic. The job involves very close interaction with...

  • Senior STA Position Available

    4 hours ago

    Bengaluru, Karnataka, India ACL Digital Full time

    Job DescriptionWe are seeking a skilled STA/Synthesis Engineer to join our team. The ideal candidate will have 3+ years of experience in synthesis, STA, lint, CDC, Spyglass, formal verification, and possess excellent debugging skills.

  • Senior Formal Verification Specialist

    13 hours ago

    Bengaluru, Karnataka, India Synopsys Inc Full time

    Required Skills and QualificationsEE graduate from reputed school. Post-graduates are preferred. 6-10 yrs. of industry experience in RTL design or verification engineers involved in deploying verification methodology using simulation-based technologies. Exposure to assertion-based verification (in simulation) is preferred and experience with formal...

  • Formal Verification Engineer

    3 weeks ago

    Bengaluru, Karnataka, India Rakiya Information Technology Solutions Full time

    Hello Everyone#URGENTHIRING#formalverification We're looking for Formal Verification Engineer with 0.6month to 1 year experience.JD : Formal Verification profile : LEC, LINT, Spyglass, CDC, PLC]

  • Formal Verification Engineer

    4 weeks ago

    Bengaluru, Karnataka, India Intel Full time

    Job DescriptionJob DescriptionConducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms.Creates comprehensive formal verification test and coverage plans to include definition of formal verification scope, strategy, and...

  • Silicon Formal Verification Engineer

    2 days ago

    Bengaluru, Karnataka, India Mulya Technologies Full time

    Silicon Formal Verification Engineer Founded in 2023 by Industry veterans headquartered in California, USA, we are revolutionizing sustainable AI compute through intuitive software with composable silicon. We are seeking a Silicon Formal Verification Engineer to join our team. In this role, you will be responsible for developing and applying formal...

  • Software Engineering Specialist

    11 hours ago

    Bengaluru, Karnataka, India Synopsys Inc Full time

    Job DescriptionAt Synopsys Inc, we are seeking a highly motivated and skilled Software Engineering Specialist - Formal Verification to join our team.Primary Responsibilities:We are looking for a talented engineer to design, develop, and drive improvements to our verification technology.This role requires supporting existing functionality while continually...

  • Formal Verification Intern

    3 weeks ago

    Bengaluru, Karnataka, India metavlsi Full time

    Following the success of last year's formal verification internship program, we are excited to launch a new batch Join us to gain hands-on experience in formal methods, work on cutting-edge chip designs, and collaborate with industry experts. With a guaranteed job opportunity upon successful completion, this is your chance to enhance your skills and secure a...

  • Formal Verification Technical Lead

    13 hours ago

    Bengaluru, Karnataka, India Synopsys Inc Full time

    Job ResponsibilitiesPromote adoption of Synopsys Formal Verification Apps to new Customers by delivering presentations and demos. Work with Customers to understand their flow requirements and map them to solutions available within Synopsys Formal Verification Apps. Collaborate with Rn D and Product marketing to develop new flows/functionalities. Define...

  • Test and Verification Specialist

    2 days ago

    Bengaluru, Karnataka, India ACL Digital Full time

    DFT Verification Engineer RoleWe are looking for an experienced DFT verification engineer to join our team at ACL Digital.About the Job:Verify DFT features using advanced testing techniques.Develop and execute testbenches in leading-edge technologies.Leverage C++ programming language for software development and debugging.Work with Synopsys VCS and Cadence...

  • Formal Verification Engineer Subsytem, Silicon

    3 weeks ago

    Bengaluru, Karnataka, India Google Full time

    Job DescriptionMinimum qualifications:- Bachelor's degree in Mechanical Engineering, Electrical Engineering, Industrial Engineering or equivalent practical experience.- Experience in formal verification applications (e.g., sequential equivalence checking, and connectivity checking) and data-path verification.- Experience with formal sign-offs of industry...

  • Formal Verification Engineer Subsytem, Silicon

    2 weeks ago

    Bengaluru, Karnataka, India Google Full time

    Minimum qualifications:+ Bachelor's degree in Mechanical Engineering, Electrical Engineering, Industrial Engineering or equivalent practical experience.+ Experience in formal verification applications (e.g., sequential equivalence checking, and connectivity checking) and data-path verification.+ Experience with formal sign-offs of industry ASIC designs.+ ...

  • Digital Design Verification Specialist

    4 hours ago

    Bengaluru, Karnataka, India ACL Digital Full time

    At ACL Digital, we specialize in innovative digital solutions.We are seeking a skilled Synthesis and Test Automation Expert to lead our digital design verification efforts.The successful candidate will possess strong expertise in synthesis, STA, lint, CDC, Spyglass, and formal verification, with excellent debugging skills.Responsibilities include:Designing...

  • CPU - Processor Formal Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India IBM - Avature Full time

    * As a Formal verification engineer, you will be working on IBM server processors/SOC or ASICs used in IBM servers. * Develop the verification environment and test bench and creating testcases. * Develop skills in IBM Formal verification tools and methodologies. * Work with design as well as other key stakeholders in resolving/debugging logic design...

  • Verification Expert

    2 days ago

    Bengaluru, Karnataka, India ACL Digital Full time

    Job Title: DFT Verification EngineerWe are seeking a skilled verification engineer with expertise in DFT feature verification and associated methodologies.Key Responsibilities:Verify DFT features using JTAG, MBIST, SCAN, fuse, and IO-PHY loopback testing techniques.Develop and execute testbenches in Verilog, SystemVerilog (SV), SVA, and UVM...

  • Digital Verification Specialist

    2 days ago

    Bengaluru, Karnataka, India ACL Digital Full time

    Welcome to ACL Digital, a digital innovation pioneer.DFT Verification RoleWe are seeking an experienced DFT Verification Engineer to drive our pre-silicon verification process forward.Key Responsibilities:Develop and execute comprehensive test plans for DFT features of the chip.Verify DFT design blocks and subsystems using advanced SV or C++ verification...

  • Chip STA Specialist

    2 days ago

    Bengaluru, Karnataka, India ACL Digital Full time

    About Us: ACL Digital is a renowned technology firm with a strong presence in Bangalore.About the Role: We are looking for a highly skilled Chip STA Specialist to lead our team in achieving timing closure.Job Description: Our ideal candidate should have experience in full-chip STA, SDC construction, and good timing analysis skills. You will work closely with...

  • Digital Verification Engineer

    6 days ago

    Bengaluru, Karnataka, India ACL Digital Full time

    ResponsibilitiesThe successful candidate will have strong background in Verilog, SystemVerilog (SV), SVA, UVM verification methodologies and C++, as well as experience with EDA simulation tools like Synopsys VCS, Cadence NCSIM, Verdi.A strong analytical/problem solving skills and pronounced attention to details is required, along with excellent written and...

STA and Formal Verification Specialist

2 weeks ago

Bengaluru, Karnataka, India ACL Digital Full time

ACL Digital is seeking a highly skilled STA and Formal Verification Specialist to join our team of experts.

About the Position

We are looking for an experienced professional with a strong background in synthesis, STA, Lint, CDC, Spyglass, and Formal Verification to contribute to our digital design projects.

Key responsibilities include:

  • Verifying and validating digital designs using formal verification techniques.
  • Collaborating with cross-functional teams to ensure seamless project execution.

The ideal candidate will have a deep understanding of digital design principles and experience with CLP/LEC.

At ACL Digital, we value innovation and creativity, and we offer a dynamic work environment that encourages growth and collaboration.