At IBM Infrastructure & Technology, we design and operate the systems that keep the world running. From high-resiliency mainframes and hybrid cloud platforms to networking, automation, and site reliability. Our teams ensure the performance, security, and scalability that clients and industries depend on every day. Working in Infrastructure & Technology means tackling complex challenges with curiosity and collaboration. You’ll work with diverse technologies and colleagues worldwide to deliver resilient, future-ready solutions that power innovation. With continuous learning, career growth, and a supportive culture, IBM provides the opportunities to build expertise and shape the infrastructure that drives progress.
As a Chip Designer specializing in Functional Verification and Validation Engineering, you will play a crucial role in ensuring that hardware designs function according to specifications. Your expertise in logic simulation and formal verification techniques will be essential in validating design under verification (DUV). Your primary responsibilities will include: • Performing Validation Tests: Conduct validation tests to verify that the hardware DUV functions according to specifications, utilizing logic simulation or formal verification techniques to identify potential issues. • Building Verification Tools: Design and build the tools required to conduct verification tests, enabling efficient and effective validation of hardware designs. • Applying Verification Techniques: Apply logic simulation and formal verification techniques to validate hardware DUV, ensuring that designs meet specifications and function as intended.
• Logic Simulation Techniques: Experience with logic simulation techniques to validate hardware designs and identify potential issues. • Formal Verification Methods: Experience with formal verification methods to ensure hardware designs meet specifications and function as intended. • Verification Tool Development: Experience with designing and building tools required to conduct verification tests, enabling efficient and effective validation of hardware designs. • Validation Testing: Experience performing validation tests to verify that hardware DUV functions according to specifications. • Hardware Design Validation: Exposure to validating hardware designs to ensure they meet specifications and function as intended.
• Formal Verification Tools: Exposure to industry-standard formal verification tools, such as model checkers and equivalence checkers, to validate hardware designs. • Advanced Logic Simulation: Experience with advanced logic simulation techniques, including testbench development and assertion-based verification, to identify complex design issues. • Scripting Languages: Exposure to scripting languages, such as Python or Tcl, to automate verification tasks and improve efficiency.
3 - 10
