Formal Verification Engineer
2 weeks ago
Job Details:
Responsibilities:
- Provide technical leadership in Formal Verification
- Propose, implement and evangelize the Formal Verification Methodology to be used across the group, both at the top level and at the block level
- Work with Architecture and Design team to come up with Formal driven specification and implementation
- Define formal verification scope, develop abstraction strategies, create formal environment and close coverage with targeted Formal Verification Techniques at IP, Subsystem and SoC level
- Build reusable/scalable environments for Formal Verification and deploying the tools
- Evaluate and recommend EDA solutions for Formal Verification
- Provide training for internal teams and mentoring engineers related to Formal Verification Technology
Minimum Qualifications:
- 10+ years of experience in RTL Design/Verification area including 5+ years of experience in Formal Verification
- Excellent understanding of formal verification methodologies, complexity reduction techniques and abstraction techniques
- Strong analytical skills to craft Client and creative solutions to tackle industry-level complex designs
- Fluency in hardware description languages, such as SystemVerilog and SVA
- Proficiency in scripting languages such as Python, Perl, or Tcl
- Excellent communication skills to ensure effective collaboration with cross functional teams
- Knowledge of Formal verification applications including Datapath, sequential equivalence, Xprop, Clock Gating, connectivity etc.
- Experience with JasperGold or VC-Formal
- Experience with simulators and waveform debugging tools
Preferred Qualifications:
- Experience in formal property verification of complex compute blocks like DSP, CPU, GPU or HW accelerators
- Experience with complex SoCs
- Formal verification expertise in clock domain crossing, IP-XACT based register verification and low power
- Experience with development of fully automated flows from specification to fully verified designs
- Ability to quickly understand and interpret specifications and extract design behaviors/properties
-
Salem, Tamil Nadu, India Synopsys Inc Full timeWe 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...
-
Senior Verification Specialist
5 days ago
Salem, Tamil Nadu, India beBeeVerification Full time ₹ 1,50,00,000 - ₹ 2,50,00,000Verification Engineering Leadership PositionWe are seeking a skilled Verification Engineer to spearhead our ARM design verification initiatives.Responsibilities:Develop and execute test plans, define methodologies, and write SystemVerilog/Verilog testbenches and tests.Collaborate with project management and leads on planning tasks, setting schedules, and...
-
Senior Verification Specialist
3 days ago
Salem, Tamil Nadu, India beBeeVerification Full time ₹ 20,00,000 - ₹ 25,00,000Job OpportunityFamiliarity with formal-based verification methods including SV/UVM/SpecmanExperience in running regression and debugging failures independentlyPrior experience in functional and code coverage analysis is requiredAble to handle sub-module-level verification independentlyFamiliarity with PIPE interface or Ethernet is mandatory; basic knowledge...
-
Principal Verification Engineer
15 hours ago
Salem, Tamil Nadu, India beBeeVerificationEngineer Full time ₹ 1,80,00,000 - ₹ 2,50,00,000We are seeking an accomplished Verification Engineer to join our team in developing innovative RISC-V processors and subsystems.The ideal candidate will have a strong background in computer architecture and excellent skills in SystemVerilog verification development, testbench construction using UVM or analogous methodologies, scoreboards, and stimulus...
-
Senior ASIC Design Verification Engineer
2 days ago
Salem, Tamil Nadu, India beBeeInnovator Full time ₹ 2,00,00,000 - ₹ 2,50,00,000Unlock Innovation in SoC VerificationWe are seeking an experienced engineer to lead the verification process for cutting-edge ASIC designs. With a proven track record of successful tape-outs and a global presence, our team offers a unique opportunity to drive innovation in the field of semiconductor technology.Lead the verification process for SoC designs,...
-
Senior Verification Expert
4 days ago
Salem, Tamil Nadu, India beBeeVerification Full time ₹ 1,99,60,000 - ₹ 2,45,50,000We are seeking a seasoned verification engineer to join our team and contribute to the development of cutting-edge RISC-V processors.Job DescriptionThe selected candidate will be responsible for creating and executing verification plans for innovative processor designs. Key tasks include:Developing verification plans for units and featuresConstructing...
-
Senior Digital Systems Engineer
17 hours ago
Salem, Tamil Nadu, India beBeeDigital Full time ₹ 15,00,000 - ₹ 25,00,000Job Title: Senior ASIC Design EngineerKey Responsibilities:Develop high-performance digital systems using Verilog and Synthesis.Collaborate with cross-functional teams to integrate complex designs and ensure timely delivery.Maintain knowledge of AMBA protocols (AXI, AHB, APB) and memory controller architectures.Required Skills:Expertise in Verilog and RTL...
-
Project Coordinator
20 hours ago
Salem, Tamil Nadu, India beBeeProject Full time ₹ 16,04,000 - ₹ 20,16,000Job Summary\We are seeking a highly organized and proactive project leader to oversee the successful execution of projects from initiation through completion.\Key Responsibilities\\Define project scope, goals, and deliverables that support business objectives in collaboration with stakeholders.\Develop full-scale project plans and associated communication...
-
Senior ASIC Design Engineering Specialist
17 hours ago
Salem, Tamil Nadu, India beBeePhysical Full time ₹ 15,00,000 - ₹ 25,00,000Are you a skilled Physical Design Engineer looking for a challenging role in ASIC EMIR/PD flow and EDA tools? We have an exciting opportunity for you to contribute to the success of our cutting-edge projects.About the RoleWe are seeking an experienced Physical Design Engineer with expertise in ASIC EMIR/PD flow and EDA tools such as Redhawk-SC, Redhawk –...
-
Principal RTL Design Engineer
4 weeks ago
Salem, Tamil Nadu, India Mulya Technologies Full timeStaff / Principal RTL Design Engineer :-BangaloreFounded in 2023,by Industry veterans HQ in California,US Location: Greater Bengaluru Area ( Company Description: We are product based startup. The products are chipsets and intelligent machines that enable scalable enterprises AI, streaming video intelligence, training trillion parameter models, and...