PCIe Design Verification Engineer, Sr Engineer
📌Tokyo, Japan 🇯🇵
⏱︎ full-time
🧙♂️ senior
The candidate will be responsible for the development of PCI Express and CXL Controller IPs.
The candidate will work with team in Tokyo and our internationally based team closely.
Job Responsibilities
- Write verification plans and specifications
- Review test plans and verification code and make architecture judgments on test bench design
- Write UVM verification test bench architecture, agents, and test sequences
- Implement SVA for functional and formal verification
-
implement coverage and review coverage results
- BS/MS in Computer Engineering/Electrical Engineering
- 3+ years(BS) / 1+ years(MS) of ASIC design verification and have knowledge about SyestemVerilog and UVM, Object oriented coding and verification
- Ability to develop/maintain Test Environment
- Test Planning, Testcase , Coverage closure, Assertion based verifications
- Good problem solving skills through strong analytical skills and ability
- Good written and oral communication skills in English and Japanese is must.
-
Good mindset to learn and enjoy something new
- Knowledge of one or more Interface protocols(e.g. PCI Express, CXL)
- Knowledge of C/C++, TCL, Perl, Python
- Experience using formal verification tools like Jasper or VC Formal is a plus
-
Experience of working with Functional safety, ISO26262 , FMEDA is an added advantage
At Synopsys, we’re at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. And we’re powering it all with the world’s most advanced technologies for chip design and software security. If you share our passion for innovation, we want to meet you.
Senior Embedded Software Engineer
@ Embedd 
What we're looking for
At embedd.it, we power hardware-software integration in embedded devices. We turn fragmented semiconductor chip data into configurable digital twins, then deterministically generate code, tests, and documentation – making integration faster, cheaper, and resilient to supply chain shocks.
We’re looking for a true legend – someone with abstract thinking and deep expertise in low-level software development. You’ll build vendor-agnostic tooling for MCU and peripheral integration to solve hardware-software integration once and for all. We work at the intersection of embedded systems, code generation, compilers, and machine learning. It’s your chance to help redefine how low-level development is done.
Responsibilities
- Drive the architecture of the driver structures and system layout
- Define scalable patterns for cross-architectural integration across bare-metal, Zephyr, Linux, and other environments
- Deconstruct complex SoC device trees and translate hardware descriptions into structured internal models for automated reasoning
- Partner with the ML team to shape data and annotation models for AI-driven data-extraction tooling
Qualifications
- 5+ years of experience in embedded systems development, including bare-metal and RTOS-based systems
- Proficiency in C/C++
- Familiarity with firmware configuration, SoC bring-up, and system-level debugging
- Hands-on experience with code generation tools, or low-level compiler/decompiler/emulator technologies
- Strong background in embedded toolchains: compilers, linkers, debuggers, and build systems
- Python or scripting for automation and tooling is a plus
- Experience with functional-safety standards is a plus
Why embedd.it?
- Dynamic, venture-backed team of engineers challenging the status quo 🚀
- Work at the intersection of embedded systems, code generators, compilers, and ML 🤖
- Unusual challenges requiring out-of-the-box abstract thinking 🧠
- Competitive compensation: cash + equity 💰
- Remote work possible 🌍
About Us
embedd.it is a UK-based startup reinventing embedded development. Our platform transforms unstructured semiconductor data into structured digital twins, enabling automatic generation of drivers, tests, and documentation. We're building a single, traceable source of truth to make integration fast, vendor-agnostic, and future-proof.
Other similar jobs
Senior ASIC Timing Engineer
@ NVIDIA, 📍Japan 🇯🇵
Senior ASIC Timing Engineer
@ NVIDIA, 📍Japan 🇯🇵
CPU Physical Design Principal Engineer
@ Qualcomm, 📍Japan 🇯🇵
ASIC Analog Design Engineer - REF79515L
@ Continental, 📍Japan 🇯🇵
Staff Engineer, Digital IC Design
@ Marvell Technology, 📍Japan 🇯🇵
ASIC Design Verification Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵
ASIC Design Verification Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵
ASIC RTL Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵
ASIC Physical Design Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵
ASIC RTL Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵
-
Employment
⏱︎ full-time
-
Experience
🧙♂️ senior
-
Skills
-
Industry
-
Find similar jobs
Senior ASIC Timing Engineer
@ NVIDIA, 📍Japan 🇯🇵
Senior ASIC Timing Engineer
@ NVIDIA, 📍Japan 🇯🇵
CPU Physical Design Principal Engineer
@ Qualcomm, 📍Japan 🇯🇵
ASIC Analog Design Engineer - REF79515L
@ Continental, 📍Japan 🇯🇵
Staff Engineer, Digital IC Design
@ Marvell Technology, 📍Japan 🇯🇵
ASIC Design Verification Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵
ASIC Design Verification Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵
ASIC RTL Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵
ASIC Physical Design Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵
ASIC RTL Engineer, Annapurna Labs
@ Amazon, 📍Japan 🇯🇵