Verified Communication Protocols for Multicore/SoC Architectures
Selected Publications
| 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 |
|
People |
|
|
Themes |
