Cache coherency controller verification IP using SystemVerilog Assertions (SVA) and Universal Verification Methodologies (UVM) | IEEE Conference Publication | IEEE Xplore