项目概述

工程和物理科学研究理事会和布里斯托尔大学知识转移借调(节)(格兰特EP / H500316/1),一个正式的模型,建立了完整的XCore ISA在事件b正式的符号,使用罗丹的工具集。

这个项目应用和扩展指令集的事件b和罗丹的基础技术架构(ISA)分析,由斯蒂芬·赖特博士在他的博士研究,工业设置。 XMOS有限公司托管莱特博士在2010年10月到2011年10月。

你可以在下面找到它:

项目网站