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 Computer Society
Publication date:
2009-07-01
DOI:
URN:
uuid:cc11f45c-83c6-4d2e-b389-280d5bb3c145
Local pid:
cs:3457
ISBN:
978-1-4244-4807-4

Terms of use


Metrics


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