A Study of Architecture Description Languages from a Model-based Perspective
W. Qin, и S. Malik. Microprocessor Test and Verification, 2005. MTV '05. Sixth International Workshop on, стр. 3 --11. (November 2005)
DOI: 10.1109/MTV.2005.2
Аннотация
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
%0 Conference Paper
%1 qin_study_2005
%A Qin, Wei
%A Malik, Sharad
%B Microprocessor Test and Verification, 2005. MTV '05. Sixth International Workshop on
%D 2005
%K , Architecture, Mescal, application-specific, architecture, circuit, compilation; description, domain, exploration; formal, framework; implementation; instruction, instruction-set, language; machine; microcomputers; open-source operation, processors; public, retargetable, sets; software; space, state, verification;
%P 3 --11
%R 10.1109/MTV.2005.2
%T A Study of Architecture Description Languages from a Model-based Perspective
%X 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
@inproceedings{qin_study_2005,
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}},
added-at = {2013-02-28T11:13:35.000+0100},
author = {Qin, Wei and Malik, Sharad},
biburl = {https://www.bibsonomy.org/bibtex/23dfdd54f65f43765f9d4d43680f269d7/fritzsolms},
booktitle = {{Microprocessor Test and Verification, 2005. {MTV} '05. Sixth International Workshop on}},
doi = {10.1109/MTV.2005.2},
interhash = {9cd302203dddf68b93e0cf162ce24274},
intrahash = {3dfdd54f65f43765f9d4d43680f269d7},
keywords = {, Architecture, Mescal, application-specific, architecture, circuit, compilation; description, domain, exploration; formal, framework; implementation; instruction, instruction-set, language; machine; microcomputers; open-source operation, processors; public, retargetable, sets; software; space, state, verification;},
month = nov,
pages = {3 --11},
timestamp = {2013-02-28T11:14:05.000+0100},
title = {{A Study of Architecture Description Languages from a Model-based Perspective}},
year = 2005
}