Describing instruction set processors using nML

Top Cited Papers

19 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 503-507
https://doi.org/10.1109/edtc.1995.470354

Abstract

Programmable processors offer a high degree of flexibility and are therefore increasingly being used in embedded systems. We introduce the formalism nML which is especially suited to describe such processors in terms of their instruction set, an nML description is directly related to the standard description as found in the usual programmer's manuals. The nML formalism is based on a mixed structural and behavioural model facilitating exact yet concise descriptions. The philosophy of nML is already applied in two approaches to retargetable code generation and instruction set simulation.

Keywords

This publication has 11 references indexed in Scilit:

Design Of Heterogeneous Ics For Mobile And Personal Communication Systems
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
Generation of hardware machine models from instruction set descriptions
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Data routing: a paradigm for efficient data-path synthesis and code generation
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Automated generation of DSP program development tools using a machine description formalism
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
Code generation using tree matching and dynamic programming
ACM Transactions on Programming Languages and Systems, 1989
Programmable DSP architectures. I
IEEE ASSP Magazine, 1988
Retargetable Compiler Code Generation
ACM Computing Surveys, 1982
Instruction set processor specifications (ISPS): The notation and its applications
IEEE Transactions on Computers, 1981
Local Microcode Compaction Techniques
ACM Computing Surveys, 1980
A new method for compiler code generation
Published by Association for Computing Machinery (ACM) ,1978