Full-Time

Formal Verification Engineer

Posted on 5/16/2024

Untether AI

Untether AI

51-200 employees

AI acceleration using at-memory computing

AI & Machine Learning
Hardware

Mid

Toronto, ON, Canada

Required Skills
Python
Requirements
  • Knowledge of SystemVerilog Assertion (SVA)
  • Understanding of HDL languages such as SystemVerilog or Verilog
  • Familiarity with AMBA protocols like AHB, APB, and AXI
  • Knowledge of Computer Architecture
  • Familiarity with RISC-V ISA
  • Experience with scripting languages such as Python
  • Bachelor's or Master's degree in Electrical Engineering or Computer Engineering
  • 3+ years' experience in hands-on design verification with 2+ years in formal verification
Responsibilities
  • Drive Formal Verification Methodology on multiple components inside Custom AI Inference IP
  • Evaluate various formal verification technologies and flows

Untether AI specializes in runAI200® devices and tsunAImi® accelerator cards that leverage at-memory computing to accelerate AI inference for various neural networks, such as vision and natural language processing, delivering industry-leading efficiency and improved accuracy. Their groundbreaking chip architecture eliminates the data movement bottleneck in traditional architectures, enabling ultra-efficient and high-performance AI chips for new frontiers in AI applications.

Company Stage

Series B

Total Funding

$165M

Headquarters

Toronto, Canada

Founded

2018

Growth & Insights
Headcount

6 month growth

6%

1 year growth

2%

2 year growth

30%
INACTIVE