| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 721458 | IFAC Proceedings Volumes | 2006 | 6 Pages |
Abstract
The paper presents a novel language, MiADL, which allows the specification of a wide class of ISAs using an expressive and natural description. MiADL explores the common features of instructions to allow compact descriptions. The description's efficiency and expressiveness is demonstrated with some examples, comparing them with other related works, using a complex ISA of a contemporary real-world processor - ARM. The language allows a clear specification of complex instruction formats. Some of its syntax constructs foster the early detection of specification's incoherence improving the description's consistency.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
J. Metrôlho, C.A. Silva, C. Couto, A. Tavares,