8.0 - 12.0 years

0 Lacs

karnataka

On-site

As a Senior Formal Verification Engineer specializing in CPUs, you will be responsible for the property-based formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals. Your role will involve leading formal planning and methodology for control logic, pipelines, and memory subsystems. You will define safety and liveness properties, model check for corner case behavior, and guide designers in writing formal-friendly RTL and assertions. Additionally, you will analyze convergence issues, coverage gaps, and create abstraction models, while integrating formal sign-off into project milestones. To excel in this role, you should have a minimum of 8 years of formal verification experience with CPUs or processors. Proficiency in tools such as JasperGold, VC Formal, OneSpin, or equivalent is required. Expertise in SVA/PSL, abstraction modeling, and formal coverage closure is essential. A strong background in computer architecture, particularly in pipeline, MMU, and interrupt logic, will be beneficial. You should possess excellent problem-solving skills, convergence debugging abilities, and strong documentation skills. If you meet these requirements and are interested in this opportunity, please submit your updated CV to janagaradha.n@acldigital.com.,

Posted 4 days ago

Apply

Software Engineer (Python, C++, AI, Java Script) Paanduv

2.0 - 6.0 years

0 Lacs

bareilly, uttar pradesh

On-site

As a Software Engineer at our company based in Bareilly, UP, you will have the opportunity to unlock your full potential in a supportive work environment. We believe in celebrating every achievement and viewing challenges as opportunities for personal and professional growth. We are looking for individuals with a B. Tech/BS degree and a strong foundation in Python, C++, AI, and Java Script. Your role will involve utilizing your expertise in Python and C++, including object-oriented programming skills. Experience with the Linux operating system, data structures, and algorithms will be beneficial. In this position, you will be expected to write scalable and elegant code, while also demonstrating proficiency in git versioning, software licensing, and the complete software development cycle. An understanding of high-performance computing, parallelization on CPUs and GPUs, and the ability to use Python libraries for GUI development will be advantageous. If you are passionate about software engineering and possess the desired qualifications and skills, we encourage you to join our team and contribute to our innovative projects. For further queries, please reach out to us at careers@paanduv.com or contact us at 8218317925.,

Posted 1 week ago

Apply

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.