Incremental Modelling and Verification of the PCI Express Transaction Layer
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 w...
Автор: | Böhm, P |
---|---|
Формат: | Conference item |
Опубліковано: |
IEEE
2009
|
Схожі ресурси
-
Incremental and Verified Modelling of the PCI Express Protocol
за авторством: Böhm, P
Опубліковано: (2010) -
A Framework for Incremental Modelling and Verification of On−Chip Protocols
за авторством: Böhm, P
Опубліковано: (2010) -
A PCI/PCI-X test card for I/O system verification
за авторством: Mitby, Amy K. (Amy Kirsten), 1979-
Опубліковано: (2014) -
Simulation and verification of IP cores for PCI and ethernet application
за авторством: Xu, Ying.
Опубліковано: (2009) -
Verification of Transaction Level Models of Embedded Systems
за авторством: Lucky Lochi Yu Lo
Опубліковано: (2013-11-01)