- Full-time
... data-bypass correctness. - Apply formal verification to targeted units (e.g. ROB, scoreboard, arbiters, FIFOs, coherence controllers, TLB state machines). Debug & Quality - Lead debug of complex OOO bugs: - Subtle ordering violations, rare hazards, corner-case speculation issues. - Coherence races, TLB edge cases, and PMP/privilege ...
Hyderabad, भारत