摘 要:在ＥＤＡ设计工具的ＨＤＬ综合系统中，高级综合，ＲＴＬ级综合和逻辑级综合等都常常需要对逻辑函数进行永真式的判定。本文给出一种高效的永真式判判定算法，该算法利用余因子、Ｓｈａｎｎｏｎ展开式和单边函数，对逻辑函数的多维体列阵进行快速有效的递归判定。该算法已经在自行研制的的ＶＨＤＬ综合系统ＨＬＳ／ＢＩＴ中实际应用。
我要上传