RSS YouTube LinkedIn Twitter Facebook


A Formal Instruction Set Architecture Definition of the XCore

by stevewright74

  • Status: Public release
  • Downloads: 0
  • Licence: BSD
  • Last updated: 29/Sep/2011 at 11:52 AM

No download available

Size: 0kb

No older versions


Project Overview

As part of an Engineering and Physical Sciences Research Council and Bristol University Knowledge Transfer Secondment (KTS) (Grant EP/H500316/1), a formal model of the complete XCore ISA was constructed in Event-B formal notation , using the Rodin toolset.

This project applied and extended the Event-B and RODIN based techniques for Instruction Set Architecture (ISA) analysis, developed by Dr Stephen Wright during his doctoral research, to an industrial setting. XMOS Ltd hosted Dr Wright in the period October 2010 to October 2011.

You can find it all at:

Project Website

This project is big enough to have its own website - click here to view it.


Verified to run on

Images and diagrams

Rate this project

Average: 5 (1 vote)
Your rating: None
Login or register to vote

Comments / Updates

oogely boogely