טוען…
Formal verification engineer ב-Hillcrest Labs, acquired by CEVA · Trevo