并行ATPG算法理论与原型系统设计技术研究

目前,制约并行ATPG算法实用化的原因是算法的可移植性。因此,我们首选提出了基于消息传递系统-并行虚拟机的并行ATPG原型系统框架,并根据它构建了一个实验系统HappyTest。由于PVM良好的可移植性。

基于布尔可满足性的组合电路ATPG算法

布尔可满足性被深入研究并广泛应用于电子设计自动化等领域。该文提出了一种基于布尔可满足性的组合电路ATPG改进算法。在采用当前最新布尔可满足性求解程序加速策略的基础上,比如冲突驱动训练、冲突导向回跳和重启动技术等,引入电路结构信息来实现基于结构的分支决策。通过新增的电路结构信息层,布尔可满足性求解程序只需稍加修改,就能利用和及时更新此信息。最后给出的实验结果表明了算法的可行性和有效性。

基于LUT的ATPG算法研究

随着科学技术尤其是半导体工艺与通信技术的快速发展,FPGA技术日趋成熟,采用FPGA的设计愈加广泛.随着系统设计的复杂化,其FPGA的验证在整个开发周期中占据的比重越来越大.针对以上背景,本文采用系统功能验证中常用的自动测试模式生成(ATPG)算法为基本框架的ATALANTA开源软件,研究基于FPGA的基本查找表(LUT)结构的ATPG验证技术,提出了一种基于LUT的ATPG验证算法和这种算法在ATALANTA软件中的实现方法,实验结果表明了这种方法的可行性.