Tough Bugs vs. Smart Tools - L2/L3 Cache Verification Using System Verilog, UVM and Verdi Transaction Debugging. - Vibarajan Viswanathan; Juliet Runhaar; Doug Reed; Jun Zhao (MTV, 2016)