Loe M. G. Feijs, Paul Gorissen, Joachim Trescher. Specification and Simulation of Microprocessor Operations and Parallel Instructions. In 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), Systems-on-Chip, 4-6 September 2002, Dortmund, Germany. pages 110-117, IEEE Computer Society, 2002. [doi]
Abstract is missing.