Anupam Chattopadhyay Arnab Sinha Diandian Zhang Rainer Leupers Gerd Ascheid Heinrich Meyr Integrated Verification Approach during ADL-Driven Processor Design. 110-118 2006 conf/rsp/2006 IEEE International Workshop on Rapid System Prototyping http://doi.ieeecomputersociety.org/10.1109/RSP.2006.21 db/conf/rsp/rsp2006.html#ChattopadhyaySZLAM06