What the posting requires
- Required
- Debugging
- Arithmetic formal verification
- Algebraic rewriting
- Word-level modeling
- Cadence JasperGold
- Mathematical apps
- SystemVerilog
- SVA
- Python
- Preferred
- Control-path formal techniques
- Veloce
- AXI
- Liveness
- ZeBu
- CHI
These tags are our reading of the posting. They can miss something; the original posting is the reference.