University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Verified Communication Protocols for Multicore/SoC Architectures

Selected Publications

View all

A Framework for Incremental Modelling and Verification of On−Chip Protocols

Peter Böhm

In Proceedings of the Tenth Conference on Formal Methods in Computer Aided Design (FMCAD'10). October, 2010.

8 pages‚ to appear

Incremental and Verified Modelling of the PCI Express Protocol

Peter Böhm

In IEEE Transactions on Computer−aided Design of Integrated Circuits and Systems. 2010.

14 pages‚ to appear

A Formalised Framework for Incremental Modelling of On−Chip Communication

Peter Böhm

In Participants' Proceedings of the Eighth International Workshop on Designing Correct Circuits (DCC'08)‚ a satellite event of the ETAPS 2010 conferences. March, 2010.

to appear

Info

Duration

1st April 2008 to 31st March 2011

Principal Investigator

People

Themes