贯穿整个设计周期

• Provides continual verification throughout the design cycle