计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2000年
6期
84-85
,共2页
逻辑综合%合并%消元%逐项检测
邏輯綜閤%閤併%消元%逐項檢測
라집종합%합병%소원%축항검측
文章详细介绍了通过合并、消元、逐项检测的方法进行逻辑综合,求解必要质蕴涵项的思路,并对算法的性能进行了简要的分析.
文章詳細介紹瞭通過閤併、消元、逐項檢測的方法進行邏輯綜閤,求解必要質蘊涵項的思路,併對算法的性能進行瞭簡要的分析.
문장상세개소료통과합병、소원、축항검측적방법진행라집종합,구해필요질온함항적사로,병대산법적성능진행료간요적분석.