PCIE Validation Methodology

More documents

Recommendations

Info

PCIE Validations Example Receiver block • A part of the receiver is presented • The CRC and the Packet parser are statically verified together using IFV. • These two blocks were selected since classical validation techniques fail to fully debug these two blocks for the following reasons: 1. Top level test benches using validation IP (VIP) could fail to trigger some corner cases. 2. The number of required scenarios to be tested is enormous. 12
13 PCIE Validations Example
Page 1 and 2: A Formal Approach for PCI Express V
Page 3: PCI Express PCI Express is a serial
Page 6 and 7: PCIE Validation Methodology Multifa
Page 8 and 9: PCIE Validation Methodology Structu
Page 10 and 11: PCIE Validation Methodology The fol
Page 14 and 15: PCIE Validations Example Correct Co
Page 16 and 17: PCIE Validations Example FIFO contr
Page 18 and 19: PCIE Validations Example • At the
Page 20 and 21: IFV Recommendations Select the Asse
Page 22 and 23: IFV Recommendations IFV for designe

PCIE Validation Methodology

Create successful ePaper yourself

Delete template?

Save as template?