학술논문
Describing instruction set processors using nML
Document Type
Conference
Author
Source
Proceedings the European Design and Test Conference. ED&TC 1995 European design and test conference European Design and Test Conference, 1995. ED&TC 1995, Proceedings.. :503-507 1995
Subject
Language
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.ETX