Metric Driven Microcode Verification: Navigating Microcode Coverage Complexities

Seungyeon Yu, Damin Son, Tony Gladvin George, Kihyun Park, Dongkun An, Wooseong Cheong, ByungChul Yoo