Full system verification of compatible microprocessors with a dual physical core verification platform. - Jyun-Yan Li; Ing-Jer Huang (ISOCC, 2016)