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...
Váldodahkki: | Böhm, P |
---|---|
Materiálatiipa: | Conference item |
Almmustuhtton: |
IEEE
2009
|
Geahča maid
-
Incremental and Verified Modelling of the PCI Express Protocol
Dahkki: Böhm, P
Almmustuhtton: (2010) -
A Framework for Incremental Modelling and Verification of On−Chip Protocols
Dahkki: Böhm, P
Almmustuhtton: (2010) -
A PCI/PCI-X test card for I/O system verification
Dahkki: Mitby, Amy K. (Amy Kirsten), 1979-
Almmustuhtton: (2014) -
Simulation and verification of IP cores for PCI and ethernet application
Dahkki: Xu, Ying.
Almmustuhtton: (2009) -
Verification of Transaction Level Models of Embedded Systems
Dahkki: Lucky Lochi Yu Lo
Almmustuhtton: (2013-11-01)