Cambridge
interconnects, and cache coherence mechanisms Confirmed understanding of formal verification technologies/abstraction techniques...