Anupam Chattopadhyay, Arnab Sinha, Diandian Zhang, Rainer Leupers, Gerd Ascheid, Heinrich Meyr. Integrated Verification Approach during ADL-Driven Processor Design. In 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece. pages 110-118, IEEE Computer Society, 2006. [doi]
Abstract is missing.