Kouki Kayamuro, Takahiro Sasaki, Yuki Fukazawa, Toshio Kondo. A Rapid Verification Framework for Developing Multi-core Processor. In Fourth International Symposium on Computing and Networking, CANDAR 2016, Hiroshima, Japan, November 22-25, 2016. pages 388-394, IEEE, 2016. [doi]
Abstract is missing.