最大の可観測性ドントケア集合の抽出におけるCODCを用いた近似手法

摘要

Sets of observability don't cares (ODCs) can be employed for multi-level logic optimization or propagation analysis of pulses assumed to be caused by soft errors. Larger set of ODCs is required to maximize the space of logic optimization or analyze pulse propagations more accurately. However, computing the maximum set of ODCs (MODC) consumes linear time for the square of a circuit scale. On the other hand, a set of compatible sets of ODCs (CODC) is known as a set of subsets of MODC which can be calculated in linear time for a circuit scale. CODC depends on a priority order for nodes which is determined during CODC computation. This paper shows a method to compute an approximate MODC for each node in linear time for a circuit scale. The method calculates several CODCs with variant priority orders, and calculates the union of CODCs as an approximate MODC. In experiments to estimate soft error rate of combinational circuits, the estimated soft error rate based on the approximate MODCs is only 3.4% larger than the exact soft error rate. Some improvements, however, are required for the proposed method to run in short run-time.%多段論理回路の論理最適化やソフトエラーに起因するパルスの伝搬解析において，可観測性ドントケア（ODC：Observability Don't Care）の集合が利用されることがある.効果的な論理最適化や正確なパルスの伝搬解析のためにはより大きなODCの集合が必要となるが，最大のODCの集合（MODC：the Maximum set of ODCs）の計算は回路規模の2乗に比例した手間がかかる.一方，ほぼ回路規模に比例した手間で計算できるMODCの部分集合として，両立可能な可観測性ドントケア・セットの集合（CODC：a set of Compatible sets of ODCs）がある.CODCは，論理ゲートの各入力に対して定められる優先順位に依存する.本稿では，回路規模に比例した手間で近似的なMODCを求める手法を提案する.本手法は，異なる優先順位のもとで複数のCODCを計算し，それらの和集合をMODCの近似とするものである.組合せ論理回路のソフトエラー率を求める実験において，近似的なMODCを用いて求めたソフトエラー率は厳密なソフトエラー率に対してわずか平均3.4％程度の過大見積もりであった.ただし，実行時間において提案手法には改善の必要がある.