为了解决验证成为集成电路与系统设计行业瓶颈的现状,避免设计后期发现错误的昂贵修补代价,尽早发现设计的错误,本论文主要研究了设计前端的功能验证方法和技术。将现阶段数字电路中使用较多的时序电路作为研究对象,采用仿真验证的评估方法进行分析,通过分析大量仿真实验数据作为依据,利用代码和功能覆盖率结合的评估方法进行综合分析,比较两种基于不同建模方法(基于状态转换表和基于状态转换图)的功能验证方法,总结出适合时序电路的验证方法。本文首次比较基于状态转换表和基于状态转换图的功能验证方法,并总结出两种方法各自的特点和适合时序电路功能验证的方法,为验证工程师挑选验证方案提供了有利的数据支持。实验证明:由于基于状态转换图的验证方法具有实现简单,算法搜索效率高,产生的测试序列短,仿真运行时间短及很高的有效性,容易实现自动化等优点,所以适合于大中规模时序电路的验证。而基于状态转换表的方法虽然原理简单,但测试序列很长而且有效代码率不高,有效性差,且随着设计规模的扩大,尤其是对时序电路这样复杂的电路形式来说,测试向量会随着输入变量和状态数的增加成指数增加,最终使仿真时间过长,成为不可能完成的任务。所以对于时序电路而言,基于状态转换图的方法是更加适合的验证方法。本文也尝试了功能覆盖率和代码覆盖率结合的评估方案,及断言与仿真验证结合的功能覆盖率检查方法,使仿真结果透明化,具有更高的可观测性。结果表明:功能覆盖率和代码覆盖率结合在一起为设计和验证提供了一个完整的质量验证标尺。