About the role
The team designs advanced RISC-V processors and AI accelerators. This engineer applies formal techniques to verify hardware logic, identify subtle bugs, and work with architects to confirm design integrity.
Our summary of the posting; the original is on the Tenstorrent careers page.
What the posting requires
- Required
- Formal verification
- SystemVerilog
- Python
- Properties
- Debugging
- Property checking
- SVA
- Tcl
- Invariants
- Preferred
- CPU pipeline
- Cache
- Interface
- Control logic
- Microarchitecture
These tags are our reading of the posting. They can miss something; the original posting is the reference.