Output details
11 - Computer Science and Informatics
University of Bristol
Return to search
Output 0 of 0 in the submission
Article title
Using Event-B to construct Instruction Set Architectures
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
23
Issue number
1
First page of article
73
ISSN of journal
09345043
Year of publication
2010
Number of additional authors
1
Additional information
<01> This paper summarizes a research project that developed a hierarchical formalization of instruction set architectures. The work generated interest in the industrial community leading to an invited presentation at ARM (30 September 2010) and follow up work funded by a Knowledge Transfer Secondment for Wright with XMOS (October 2010 - September 2011, £45K, EPSRC Knowledge Transfer Secondment EP/H500316/).
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Microelectronics Group
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
