Formal Verification Engineer

Amazon Lab126 Austin , TX 78719

Posted 3 months ago

Job Description: Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world.

We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across all industries. We are seeking experienced Hardware Design Engineers to build the next generation of our cloud server infrastructure. Our success depends on our world-class server infrastructure; we're handling massive scale and rapid integration of emergent technologies.

As a member of the Engineering Team you'll be responsible for the design and optimization of hardware in our data centers. You'll provide leadership in the application of new technologies to large scale server deployments in a continuous effort to deliver a world-class customer experience. This is a fast-paced, intellectually challenging position, and you'll work with thought leaders in multiple technology areas.

You'll have relentlessly high standards for yourself and everyone you work with, and you'll be constantly looking for ways to improve your products performance, quality and cost. We're changing an industry, and we want individuals who are ready for this challenge and want to reach beyond what is possible today.

Responsibilities:
Verify that our silicon solutions will achieve the functionality needed to enable our customers Develop a deep understanding of microarchitectural design details Define meaningful formal properties that capture the design intent Collaborate and communicate effectively with RTL design and verification engineers Analyze bounded proof results and write functional coverage points Develop creative solutions for abstraction methods, and FV checking algorithms to obtain deeper proofs Basic Qualifications BS degree or higher in EE or CE or CS 3+ years or more of experience in pre-silicon functional verification. 1+ years of experience in formal verification, utilizing industry standard tools such as JasperGold or VC Formal.

Experience developing formal verification plans and executing those plans to closure. Able to code in Verilog / System Verilog Preferred Qualifications Ability to read, interpret and provide feedback on architectural and micro-architectural specifications. Experience debugging formal verification failures. Ability to develop and deploy FV methodologies Understand complex FV checking and abstraction strategies Ability to implement assertions and write functional coverage points Experience with constrained random stimulus generation Proficiency in a scripting language and automation

See if you are a match!

See how well your resume matches up to this job - upload your resume now.

Find your dream job anywhere
with the LiveCareer app.
Download the
LiveCareer app and find
your dream job anywhere
lc_ad

Boost your job search productivity with our
free Chrome Extension!

lc_apply_tool GET EXTENSION

Similar Jobs

Want to see jobs matched to your resume? Upload One Now! Remove
Formal Verification Engineer

Apple Inc.

Posted 2 months ago

VIEW JOBS 10/31/2018 12:00:00 AM 2019-01-29T00:00 Imagine what you could do here. At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, smart people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all Apple Hardware products. The same passion for innovation that goes into our products also applies to our practices strengthening our commitment to leave the world better than we found it. Join us to help deliver the next groundbreaking Apple product Do you have experience being at the center of a System-on-a-chip (SoC) design verification effort collaborating with design? Are you passionate about changing the world? We have a critical impact on getting high quality functional products to millions of customers quickly and we are hiring all levels from junior to senior roles. Advanced knowledge of SoC/CPU/GPU designs, VLSI, and digital logic design and verification techniquesDeveloped formal property proofs on industrial strength designs and architecturesDeep understanding of pipeline architectures, memory/DMA controllers, out-of-order and speculative instruction execution hardware, bus interconnects, and cache coherence mechanismsConfirmed understanding of formal verification technologies/abstraction techniquesKnowledge and experience in interpreting hardware specifications and usingTemporal logic assertion-based languages such as SVA or PSLExperience in using EDA formal tools and tool development experience is a plusProficiency in any scripting language with excellent debugging skillsExtraordinary teammate with excellent interpersonal skillsPassionate about developing world-class/innovative formal verification solutions As a formal verification architect leading the complete formal verification for single or multiple design blocks and IP's (CPU, Media IP, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be responsible for: Working with Apple's world-class SOC and IP design engineers to develop a formal micro-architecture specification Developing comprehensive formal verification test plan Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture Crafting novel and creative solutions for verifying complex design micro- architectures Developing and implementing re-usable and optimized formal models and verification code base Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity BS / MS / Ph.D in EE or CS is required. Apple Inc. Austin TX

Formal Verification Engineer

Amazon Lab126