Conference item icon

Conference item

Incremental Modelling and Verification of the PCI Express Transaction Layer

Abstract:

PCI Express is a modern, high-performance communication protocol implementing highly sophisticated features to meet today's performance demands. Although an off-chip protocol, PCI Express implements many principles of future on-chip communication architectures. It is a highly complex protocol which is naturally hard to verify formally. We recently proposed a new methodology, based on a series of model transformation steps, to revise the traditional modelling and verification workflow for desi...

Expand abstract

Actions


Access Document


Publisher copy:
10.1109/MEMCOD.2009.5185376

Authors


Publisher:
IEEE
Host title:
Proceedings of the Seventh ACM−IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'09)
Publication date:
2009-07-01
DOI:
ISBN:
9781424448074
UUID:
uuid:cc11f45c-83c6-4d2e-b389-280d5bb3c145
Local pid:
cs:3457
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP