Verification Challenges in Configurable Processor Design with ASIP Meister.

Masaharu Imai Akira Kitajima Verification Challenges in Configurable Processor Design with ASIP Meister. 2 2005 conf/charme/2005 CHARME http://dx.doi.org/10.1007/11560548_2 db/conf/charme/charme2005.html#ImaiK05