Design verification or validation and test are significant for good functionality and reliability of Integrated Circuits (ICs).

• 集成电路(Integrated Circuit,简称IC)的设计验证与测试对保证其功能的正确性和可靠性非常重要,而时序电路测试生成则是其中一个相当困难的问题。