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

  Details about A Framework for Incremental Modelling and Verification of On−Chip Protocols | BibTeX data for A Framework for Incremental Modelling and Verification of On−Chip Protocols

• 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

  Details about Incremental and Verified Modelling of the PCI Express Protocol | BibTeX data for Incremental and Verified Modelling of the PCI Express Protocol

• 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

  Details about A Formalised Framework for Incremental Modelling of On−Chip Communication | BibTeX data for A Formalised Framework for Incremental Modelling of On−Chip Communication

Share this: