摘要：设计验证(DesignVerification)在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试,介绍了一种基于有限状态机生成测试向量的方法。它有效地提高了状态空间的覆盖率。

摘要：随着设计复杂度的迅速增长,集成电路的测试已成为阻碍其发展的重要因素,如何尽可能自动生成可以满足测试覆盖率的测试向量是这一问题的关键所在。本文在对测试向量自动生成问题分析的基础上,建立了数学模型,并提出了一种适合求解该问题的蚁群遗传融合优化算法。该方法首先由蚁群算法得到测试向量集,然后利用遗传算法对向量集进行优化。实验数据表明,通过该算法,只需较少的迭代次数就可以自动生成满足一定覆盖率的测试向量组,由此可以证明该方法在产生高覆盖率测试向量上具有一定的有效性。