MiADL: AN ARCHITECTURE DESCRIPTION LANGUAGE FOR DESIGN SPACE EXPLORATION

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.