We are looking for talented Verification Engineers to expand our International Design Verification team.
Qualification requirements:
- Bachelor’s or Master’s in Electrical or Computer Science
- 4 years of Design Verification experience
- Very good understanding of Design Verification goals and challenges
- Ability to adapt to a start-up fast paced dynamic environment
- Excellent communication skills
- Very good knowledge of SystemVerilog and UVM
- Ability to find what can go wrong when everybody else feels safe
Candidates should be able to demonstrate skills, knowledge and experience on a reasonable subset of the following:
- Processors architecture with understanding of execution pipelines
- GPUs or vector processing engines architecture
- Cache hierarchy and MMU architecture
- Cache coherency protocols
- Standard protocols like PCIe and DDR4/5
- Verification environments architecture and implementation
- Verification tools architecture and implementation
- Regression infrastructure architecture and implementation
- Verification process and test plan development
- Assertion-based verification using SVA/OVA
- Functional coverage methodology and implementation
- Formal equivalence checking tools like Jasper
- Theorem provers like ACL2
Complementary experience:
- Debugging complex test scenarios
- Working on FPGA emulated platforms
- Working in a Linux environment
- Using git version control system
- Using a scripting language (Perl or Python)
- Using C programming language
- Using C++ programming language
- Using TCL and Expect
Compensation Range
The base salary range is $130,000 to $280,000. Your salary will be determined based on your experience and specific skillset.
You will also be eligible for equity and benefits.
关于Tachyum
Tachyum 正在通过其最近推出的旗舰产品改变人工智能、高性能计算、公共和私有云数据中心市场。 Prodigy神童是世界上第一款通用处理器,将 CPU、GPGPU 和 TPU 的功能统一到一个处理器中,为专业和通用计算提供行业领先的性能、成本和能效。当在超大规模数据中心配置 Prodigy神童 处理器时,它们使所有人工智能、高性能计算和通用应用程序能够在一个硬件基础设施上运行,每年为公司节省数十亿美元。