基于不相交锐积运算的逻辑函数错误率计算

Error rate calculation of logic functions using disjoint sharp product operation

提出了一种通过比较逻辑覆盖差异的函数错误率计算方法,该方法主要包括逻辑覆盖不相交锐积运算和双锐积运算,分别用于实现2个逻辑覆盖之间不相交操作和公共部分删除操作,进而实现TB逻辑函数之间或RM逻辑函数之间覆盖差异的提取.通过对所提取覆盖包含的最小项数量统计,实现函数错误率的计算.所提出的方法用C语言实现,并用MCNC测试电路进行测试.实验结果表明,该算法可以实现TB函数和RM函数的错误率计算,且具有运算速度快,适合处理大逻辑函数的特点.

In this paper an error rate calculation algorithm for two logic functions is proposed by comparing the differences between their logical covers.The algorithm mainly includes the disjoint sharp product operation and the double sharp product operation of logical covers,which are employed for the two covers disjointed operation and the common part deletion respectively.Using the proposed algorithm,the difference of the logical covers between two TB logic functions,or RM logic functions,are extracted and the error rate can be obtained by calculating the number of minterms in the extracted cover.The proposed algorithm is implemented in C and tested under MCNC benchmarks.The experimental results show that the proposed algorithm can carry out the error rate calculation for both TB functions and RM functions.Furthermore,it runs faster and is more efficient for large functions.