2024-03-28T21:41:24Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000279322023-04-27T10:00:04Z01164:02036:02109:02114
多端子EXOR三分決定グラフを用いたAND-EXOR論理式の最小化法についてExact Minimization of AND - EXOR Expressions using Multi - terminal EXOR Ternary Decision Diagrams.jpnhttp://id.nii.ac.jp/1001/00027932/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=27932&item_no=1&attribute_id=1&file_no=1Copyright (c) 1995 by the Information Processing Society of Japan九州工業大学情報工学部・電子情報工学科九州工業大学情報工学部・電子情報工学科笹尾, 勤泉原史幸積項数が最小な固定極性リード.マラー論理式()およびクロネッカ論理式()を求める方法を示す.データ構造として,EXOR三分決定グラフ(DD: EXOR ternary decision diagr)と多端子EXOR三分決定グラフ(ETDD: Multi?terminal EXOR ternaryd decision diagr)を用いる.計算時間やメモリを削減するため種々の手法を用いることにより,既存のどのプログラムよりも高性能なものが得られた.入力数が94までの論理式の最小化結果を示す.This paper persents methods to drive a Fixed Polarity Reed-Muller expression (FPRM) and a Kronecker expression(KRO) having minimum number of products for a given logic function. The minimization methods use EXOR ternary decision diagrams (ETDDs) and multi-terminal EXOR ternary decision diagrams (MTETDDs) to represent extended truth vectors and (extended) weight vectors, and outperform existing methods. Various techniques to reduce computation time and memory storage are incorporated. Experimental results upto 94 inputs are shown.AA11451459情報処理学会研究報告システムLSI設計技術(SLDM)199524(1994-SLDM-074)9161995-03-082009-06-30