1. [1] M. Freericks, The nML Machine Description Formalism, Fachbereich Informatik, Tech. Univ. Berlin, Germany, 1991.
2. [2] A. Fauth, J. Van Praet, and M. Freericks, “Describing instruction-set processors using nML,” Proc. Eur. Design and Test Conf. Paris, France, 1995.
3. [3] G. Hadjiyiannis, S. Hanono, and S. Devadas, “ISDL: An instruction set description language for retargetability,” Proc. Design Automation Conf., 1997.
4. [4] A. Halambi, “EXPRESSION: A language for architecture exploration through compiler/simulator retargetability,” Proc. Conf. Design Automation and Test Eur, 1999.
5. [5] P. Paulin, “Design automation challenges for application-specific architecture platforms,” Proc. SCOPES, Workshop Software and Compilers for Embedded Systems, 2001.