Verification of an Industrial CC-NUMA Server. - Rajarshi Mukherjee; Yozo Nakayama; Toshiya Mima (ASP-DAC/VLSI Design, 2002)