Wei Qin, Asa Ben-Tzur, Boris Gutkovich. An ADL for Functional Specification of IA32. In Magdy S. Abadir, Li-C. Wang, Jayanta Bhadra, editors, Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA. pages 119-127, IEEE Computer Society, 2007. [doi]
Abstract is missing.