Xilinx UG181 Welder User Manual


 
SPI-4.2 Lite v4.3 User Guide www.xilinx.com 135
UG181 June 27, 2008
R
Appendix C
SPI-4.2 Lite Core Verification
Extensive software testing with an internally developed test suite is performed for each
SPI-4.2 Lite release. Using our in-house verification environment, the SPI-4.2 Lite Core was
tested in RTL, post-ngdbuild, and timing simulation. When using the in-house verification
environment, the SPI-4.2 Lite core was tested in three stages:
Functional (RTL) verification
Gate-level (post ngdbuild back-annotation HDL) verification
Gate-level with back-annotated timing (with SDF file) verification targeting the
following device/frequency combinations:
- Virtex-5 devices up to 550 Mbps on the SPI-4.2 interface and 275 MHz on the user
interface (SrcFFClk and SnkFFClk)clocks.
- Virtex-II devices up to 320 Mbps on the SP1-4.2 interface and 160 MHz on the user
interface (SrcFFclk and SnkFFClk) clocks
- Virtex-II Pro devices up to 320 Mbps on the SP1-4.2 interface and 160 MHz on the
user interface (SrcFFClk and SnkFFClk) clocks
- Virtex-4 devices up to 380 Mbps on the SP1-4.2 interface and 190 MHz on the user
interface (SrcFFClk and SnkFFClk) clocks
- Spartan™-3 devices up to 230 Mbps on the SP1-4.2 interface and 115 MHz on the
user interface (SrcFFClk and SnkFFClk) clocks
- Spartan-3A/3AN/3A DSP devices up to 210 Mbps on the SPR-4.2 interface and 105
MHz on the user interface (SrcFFClk and SnkFFClk) clocks
- Spartan-3E devices up to 180 Mbps on the SP1-4.2 interface and 90 MHz on the user
interface (SrcFFClk and SnkFFClk) clocks
For each of these stages, each feature of the SPI-4.2 Lite core was fully verified. The
following are examples of stimulus used to verify the features:
Verification of valid data:
SPI-4.2 bus traffic that contains short packets that were smaller than one credit (16
bytes)
SPI-4.2 bus traffic that contains long packets that were larger than one credit (16
bytes)
SPI-4.2 bus traffic of a constant packet size
SPI-4.2 bus traffic of a variable packet size
SPI-4.2 bus traffic that consisted of a single burst or packet