权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

順序機械の設計検証のための暗黙状態数え上げの並列化に関する研究

时序机设计验证隐式状态枚举并行化研究

基本信息

批准号：
05780253
负责人：
木村晋二
金额：
$ 0.58万
依托单位：
Nara Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1993
资助国家：
日本
起止时间：
1993 至无数据
项目状态：
已结题

项目摘要

本研究では、論理関数の効率的な表現方法である二分決定グラフを用いた、順序回路の到達可能状態の数え挙げ手法の並列化を行った。本手法は暗黙状態数え挙げ(Implicit State Enumeration)と呼ばれ、順序回路の検証やテスト生成に使用されている。暗黙状態数え挙げは、基本的に初期状態から到達できる状態集合を網羅する手法である。順序回路において現状態と入力から次状態を決める関数は、状態を二進符合化することにより論理関数として表される。また、これまでに到達した状態集合なども、集合に属する時に1となる論理関数である特性関数で表される。本研究ではこれらの論理関数を並列二分決定グラフ処理手法で扱うことの研究を行なった。これらの論理関数の処理は、基本的には論理演算の複数個の列となるので、ここでは一般化した問題として、与えられた論理演算の列をいかに高速に処理するかの研究を行なった。並列処理手法としては、Shannon展開法を用いたもの、出力毎に処理する手法を用いたもの、Shannonの展開法を一般化したものの三つについて研究を行ない、多くの主記憶容量を要する論理関数に対してはShannonの展開法が優れていることと、一般的なベンチマークの回路に対しては出力毎の分割法が有効であるという結果を得た。Shannon展開の一般化については現在も研究を継続している。富士通研究所のAP1000を使用した実験では、乗算器の処理を512プロセサを用いて130倍程度の高速化を達成した他、一般的なベンチマーク回路に対しても64プロセサで、良い場合に27倍程度、平均で13倍程度の高速化を達成した。今後は暗黙状態数え挙げ処理特有の性質をより深く研究し、それを用いた並列化について考察する必要がある。

In this study, the method of expressing the efficiency of theoretically related numbers, the use of binary decision-making, and the parallelization method of reaching possible states of sequential loops are used. This technique uses Implicit State Enumeration and Sequential Loop Proof generation. The number of dark statuses, the basic initial status, and the set of statuses that have been reached are the basic and initial status. The sequence loop's current state is the input force, the secondary state is the decision number, and the state is the binary conformity number.また, これまでにarrives したstatus set なども, set に belongs to する时に1 となるlogical relationship であるcharacteristics relationship でTable される. This study is based on the theoretical relationship between the number of parallel and dichotomous decisions and the treatment method of the method. The processing of これらのtheoretical calculations, the basic にはtheoretical calculations, the complex number sequence, and the general ここではChange the problem and solve the problem, and solve the problem with theoretical calculation and high-speed processing. The parallel processing technique is used, the Shannon expansion method is used, and the output method is used.いたもの、Shannonのexpansion methodをGeneralizationしたものの三つについて Researchを行ない、多くの Main memory capacity をする Theory close number に対しては Shannon の expansion method が优れていることと, The general method of splitting the power of the normal loop circuit is effective and the result is the same. The generalization of Shannon's expansion is currently being studied. Fujitsu Laboratories' AP1000 uses a multiplier, and the multiplier's processing speed is 512, which is 130 times faster. In general, the speed of the normal circuit circuit 64 is 27 times, and the average speed is 13 times. In the future, it is necessary to study the depth of the unique properties of the dark state number and to use the parallelization and investigation.