A Formal Instruction Set Architecture Definition of the XCor

XCore Project reviews, ideas, videos and proposals.
User avatar
stevewright
New User
Posts: 3
Joined: Mon Sep 26, 2011 4:57 pm

A Formal Instruction Set Architecture Definition of the XCor

Postby stevewright » Thu Sep 29, 2011 11:52 am

Version: 1
Status: Public release
License: BSD

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:


http://deploy-eprints.ecs.soton.ac.uk/346/


Return to “Projects”

Who is online

Users browsing this forum: No registered users and 4 guests