Chapter 4

Design Verification

This chapter introduces design verification, which is the process of testing the functionality and performance of your design. The Xilinx Development System supports three complementary methods for design verification: simulation, static timing analysis, and in-circuit verification.

This chapter consists of the following major sections.

• “Design Verification Overview”
  
  
• “Pre-Simulation Translation”
  
  
• “Schematic-Based Simulation”
  
  
• “HDL-Based Simulation”
  
  
• “Static Timing Analysis With TRACE”
  
  
• “In-Circuit Verification”