Formal Verification Engineer
3 weeks ago
WHAT YOU DO AT AMD CHANGES EVERYTHING
We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences – the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our mission is the AMD culture. We push the limits of innovation to solve the world's most important challenges. We strive for execution excellence while being direct, humble, collaborative, and inclusive of diverse perspectives.
AMD together we advance_
THE ROLE:
The Advance Formal Verification team is dedicated to formal verification. It provides formal functional and security verification for a broad range of IPs including input-output virtualization, PCIe Root-Complex/End-Point, inter-chiplet highspeed connections, etc. We are currently looking for formal verification engineers with expertise in IP verification, formal verification methodologies, highspeed IO bus protocols and team leadership to take on the challenges. In these highly visible roles, the qualified candidates will use cutting edge formal verification technologies to verify the newest IPs resulting in a level of design quality not paralleled by classical verification.
KEY RESPONSIBILITIES:
Collaborating with architects and designers to understand the design intents.Creating and executing formal verification plans for design blocks.Writing and debugging properties to verify the design, analyzing signatures and pushing for the resolution.Optimizing runtime using formal techniques.Collecting and reporting status and progress.Improving formal setups based on feedbacks from reviews, metrics, etc.For senior level positions:Leading and coordinating verification activities for a small team.Training and couching junior engineers.Developing working procedures, flows and infra.Handling complicated formal problems.PREFERRED EXPERIENCE:
Combined ASIC/FPGA design and verification experience.Strong background in formal property verification (FPV), sequential equivalence checking (SEC/SEQ/SLEC), and/or academic formal methods.Expertise in a formal property language (SVA preferred), abstraction techniques, formal sign-off and commercial formal tools (VC-Formal, JasperGold, Questa Formal, etc.).Extensive experience verifying complex, packet or control based designs.Familiarity with industry standard high-speed protocols such as PCIe, SATA, USB, AXI, etc.Experience with verification of Hardware-Firmware interaction is highly desirable.
ACADEMIC CREDENTIALS:
- BS (or higher) degree in Electronics/Electrical or Computer Engineering/Science or related
LOCATION:
- Vancouver/Calgary/Toronto/Ottawa
#LI-SH1
#HYBRID
Benefits offered are described: AMD benefits at a glance.
AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee-based recruitment services. AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third-party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law. We encourage applications from all qualified candidates and will accommodate applicants' needs under the respective laws throughout all stages of the recruitment and selection process.
-
Senior Design Verification Engineer
1 week ago
Ottawa, Ontario, Canada Fidus Systems Full timeFidus is a front runner in embedded software design, system and hardware. We provide a technical advantage to our global Clients ranging from tech giants to start-ups. We are looking for a Senior UVM Verification Designer anywhere in United States and/or Canada. We are looking for someone who is passionate about designing and working with new technologies,...
-
Staff ASIC Verification Engineer
1 week ago
Ottawa, Ontario, Canada Infinera Full timeStaff ASIC Verification Engineer page is loaded Staff ASIC Verification Engineer Apply locations Ottawa, Canada time type Full time posted on Posted 2 Days Ago job requisition id Infinera is a global supplier of innovative networking solutions. Our customers include the leading service providers, data center operators, internet content providers (ICPs),...
-
UVM Verification Engineer
1 week ago
Ottawa, Ontario, Canada USA Tech Recruitment Full timeUVM Verification Engineer - SystemVerilog / Verilog / OVM Are you an experienced Verification Engineer with over a decade of industry knowledge? Do you have a passion for ASIC and FPGA design and verification, as well as embedded software development in Canada? This is a great opportunity to collaborate with a leading semiconductor company based in Ottawa.
-
Senior ASIC Verification Engineer
1 week ago
Ottawa, Ontario, Canada Infinera Full timeResponsibilities · Contribute significantly to verification infrastructure development · Development of System Verilog/UVM based protocol/traffic generators/checkers, development of test plan based on functional requirements as well as applicable standards requirements. Requirements · Masters degree desired, Bachelor's degree in CS/EE is...
-
Senior ASIC Verification Engineer
1 week ago
Ottawa, Ontario, Canada European Recruitment Full timeSenior ASIC Verification EngineerA Semiconductor design company are looking for an experienced ASIC Verification Engineer to join their team, to work on cutting-edge projects across various products.Due to stable and organic growth as a result of having a strong reputation in the industry, the business is going from strength to strength and is keen to build...
-
ASIC Digital Verification Engineer
1 week ago
Ottawa, Ontario, Canada Renesas Electronics Full timeJob DescriptionOur Ottawa office is looking for a talented ASIC Digital Verification Engineer to join our team. Our team is developing industry-leading mixed-signal Digital PLL Application specific integrated circuits. You can be a part of a growing mixed design and verification team giving you a chance to make a significant impact. You would not only be...
-
Networking Product Verification Engineer
1 week ago
Ottawa, Ontario, Canada Lumentum Operations LLC Full timeNetworking Product Verification Engineer page is loaded Networking Product Verification Engineer Apply locations Canada - Ottawa (Bill Leathem) time type Full time posted on Posted 2 Days Ago job requisition id It's fun to work in a company where people truly BELIEVE in what they're doing We're committed to bringing passion and customer focus to the...
-
Networking Product Verification Engineer
1 week ago
Ottawa, Ontario, Canada Lumentum Operations LLC Full timeNetworking Product Verification Engineer page is loaded Networking Product Verification Engineer Apply locations Canada - Ottawa (Bill Leathem) time type Full time posted on Posted 2 Days Ago job requisition id It's fun to work in a company where people truly BELIEVE in what they're doing We're committed to bringing passion and customer focus to the...
-
Senior ASIC Verification Engineer
1 week ago
Ottawa, Ontario, Canada European Recruitment Full timeA Semiconductor design company are looking for an experienced ASIC Verification Engineer to join their team, to work on a variety of cutting edge projects across various products in the Semiconductor space.Due to stable and organic growth as a result of having a strong reputation in the industry, the business is gong from strength to strength and are keen to...
-
ASIC Digital Verification Engineer
1 week ago
Ottawa, Ontario, Canada Renesas Electronics Full timeJob DescriptionOur Ottawa office is looking for a talented ASIC Digital Verification Engineer to join our team. Our team is developing industry-leading mixed-signal Digital PLL Application specific integrated circuits. You can be a part of a growing mixed design and verification team giving you a chance to make a significant impact. You would not only be...
-
Networking Product Verification Engineer
1 week ago
Ottawa, Ontario, Canada Lumentum Full timeNetworking Product Verification Engineer It's fun to work in a company where people truly BELIEVE in what they're doing Lumentum Canada was awarded the 2022 National Capital Region's Top Employers and the 2022 Career Directory Canada's Best Employers for Recent Graduates. Key responsibilities: Work with multidisciplinary teams to define manual and...
-
High Salary: UVM Verification Engineer
1 week ago
Ottawa, Ontario, Canada USA Tech Recruitment Full timeUVM Verification Engineer - SystemVerilog / Verilog / OVM Are you a senior Verification Engineer with 10+ years' industry experience? Want to join a world semiconductor company focused on ASIC and FPGA design and verification, and embedded software in Canada?We are partnered with an Ottawa HQ'd ASIC design house offering augmented design services and turnkey...
-
Senior Product Verification Engineer
1 week ago
Ottawa, Ontario, Canada Fidus Systems Full timeFidus is a front runner in embedded software design, system and hardware. We provide a technical advantage to our global Clients ranging from tech giants to start-ups. We are looking for a Senior UVM Verification Designer anywhere in United States and/or Canada. We are looking for someone who is passionate about designing and working with new technologies,...
-
Senior Product Verification Engineer
1 week ago
Ottawa, Ontario, Canada BTA Design Services Full timeHeadquartered in Ottawa, BTA Design serves the electronic design community in Canada and beyond, specializing in ASIC and FPGA design and verification, and embedded software development services. We augment and enhance our clients' teams and accelerate the development of complete designs. We are currently searching globally for a number of key technical...
-
Senior Product Verification Engineer
1 week ago
Ottawa, Ontario, Canada BTA Design Services Inc. Full timeAbout Us:Headquartered in Ottawa, BTA Design serves the electronic design community in Canada and beyond, specializing in ASIC and FPGA design and verification, and embedded software development services. We augment and enhance our clients' teams and accelerate the development of complete designs.We are currently searching globally for a number of key...
-
ASIC Verification Lead
1 week ago
Ottawa, Ontario, Canada Fidus Systems Full timeFidus Systems is seeking a skilled and motivated ASIC Verification Lead to join our team in the exciting field of electronic product development. As a leading-edge ASIC, FPGA, Hardware, Software, and Signal integrity company, Fidus specializes in architecting, designing, and delivering next-generation products for clients in emerging technology markets. With...
-
Ottawa, Ontario, Canada Marvell Technology Full timeSenior Staff ASIC Design/Verification Engineer page is loaded Senior Staff ASIC Design/Verification Engineer Apply locations Ottawa, Canada time type Full time posted on Posted Yesterday job requisition id About Marvell Marvell's semiconductor solutions are the essential building blocks of the data infrastructure that connects our world. Across...
-
Ottawa, Ontario, Canada Harris Geospatial Solutions Full timeAbout your next Challenge as aSystems Engineer, Product Integration, Validation, and Verification:The Verification and Validation Specialist/Engineer is responsible for all aspects of the verification and validation of naval communications systems for military and commercial applications. The candidate is responsible for testing design, planning, automating...
-
ASIC / FPGA Verification Engineer
3 weeks ago
Ottawa, Ontario, Canada BTA Design Services Full timeAbout Us:Headquartered in Ottawa, BTA Design serves the electronic design community from Canada, specializing in ASIC and FPGA design and verification, and embedded software development services. We augment and enhance our clients' teams and accelerate the development of complete designs.We're adaptable and efficient, with a brilliant staff at our core. We...
-
ASIC / FPGA Verification Engineer
2 months ago
Ottawa, Ontario, Canada BTA Design Services Full timeAbout Us:Headquartered in Ottawa, BTA Design serves the electronic design community from Canada, specializing in ASIC and FPGA design and verification, and embedded software development services. We augment and enhance our clients' teams and accelerate the development of complete designs.We're adaptable and efficient, with a brilliant staff at our core. We...
