@inproceedings{6edcb9aa8c044edf8fe29e49ca6b0426,
title = "A study of architecture description languages from a model-based perspective",
abstract = "Owing to the recent trend of using application-specific instruction-set processors (ASIP), many Architecture Description Languages (ADLs) have been created. They specify architectures or microarchitectures of processors, and automate tasks including circuit implementation, simulation, retargetable compilation and formal verification. This paper first gives an overview of the existing ADLs. This paper argues that for an ADL to be capable of rigorously specifying a processor, it must be based on a solid foundation which we call the architecture model. The existing ADLs feature a wide variety of formal and ad-hoc architecture models which confines the flexibility and analyzability of the ADLs in one way or another. This paper then discusses the Operation State Machine (OSM) model, the result of our first attempt to create high-level processor models. The model has features balanced flexibility and analyzability for use in architecture space exploration frameworks for ASIPs. This paper also describes the use of the OSM model in the Mescal Architecture Description Language (MADL), an open-source ADL framework that we developed. Lastly, it points out the potential application of formal verification techniques on OSM.",
author = "Wei Qin and Sharad Malik",
year = "2005",
doi = "10.1109/MTV.2005.2",
language = "English (US)",
isbn = "0769526276",
series = "Proceedings - International Workshop on Microprocessor Test and Verification",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "3--11",
booktitle = "Proceedings - Sixth International Workshop on Microprocessor Test and Verification",
address = "United States",
note = "2005 6th International Workshop on Microprocessor Test and Verification ; Conference date: 03-11-2005 Through 04-11-2005",
}