A Rapid Verification Framework for Developing Multi-core Processor. - Kouki Kayamuro; Takahiro Sasaki; Yuki Fukazawa; Toshio Kondo (CANDAR, 2016)