The verification includes RTL simulation, gate level simulation and static timing analysis.

• 验证工作包括RTL级仿真、门级仿真和静态时序分析。