Wei Qin, Sharad Malik. A Study of Architecture Description Languages from a Model-based Perspective. In Magdy S. Abadir, Li-C. Wang, editors, Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA. pages 3-11, IEEE Computer Society, 2005. [doi]
Abstract is missing.