- Full-time
... properties (assertions and assumptions) in Chisel/Scala to specify design behavior and identify corner-case bugs. - Utilize formal verification tools to prove design correctness and uncover potential issues. - Collaborate closely with design engineers to understand design specifications, review architectures, and provide ...
Bangalore, भारत