1. Flexible and formal modeling of microprocessors with application to retargetable simulation;Qin,2003
2. Describing instructions set processors using nML;Fauth,1995
3. Modeling and Description of Embedded Processors for the Development of Software Tools;Win,2004
4. ISDL: An instruction set description language for retargetability;Hadjiyiannis,1997