Anupam Chattopadhyay Arnab Sinha Diandian Zhang Rainer Leupers Gerd Ascheid Heinrich Meyr Integrated verification approach during ADL-driven processor design. 1111-1123 2009 40 Microelectronics Journal 7 http://dx.doi.org/10.1016/j.mejo.2008.05.009 db/journals/mj/mj40.html#ChattopadhyaySZLAM09