JP2967749B2 - テスト容易化論理合成システム - Google Patents

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はテスト容易化論理合
成システムに関する。

【０００２】

【従来の技術】テスト容易化論理合成システムは、スキ
ャン手法に代表される論理回路のテスト容易性を論理回
路設計後に付加するテスト容易化設計とは異なり、論理
回路設計中、すなわち論理合成中にテスト容易性を考慮
した最適化処理を実行することにより、テスト容易化設
計より少ない面積オーバーヘッドで高い故障検出率、テ
ストパタン生成容易な回路を論理合成するシステムであ
る。

【０００３】従来のテスト容易化論理合成システムの一
例が、文献［Ｆ．Ｆ．Ｈｓｕ ａｎｄ Ｊ．Ｈ，Ｐａｔ
ｅｌ，“Ａ Ｄｉｓｔａｎｃｅ Ｒｅｄｕｃｔｉｏｎ
Ａｐｐｒｏａｃｈ ｔｏ Ｄｅｓｉｇｎ ｆｏｒ Ｔｅ
ｓｔａｂｉｌｉｔｙ，”Ｔｈｅ １３ｔｈ ＩＥＥＥ
ＶＬＳＩ Ｔｅｓｔ Ｓｙｍｐｏｓｉｕｍ，ｐｐ．１５
８−１６３，４／３０−５／３，１９９５］に示された
Ｆｉｎａｔｅ Ｓｔａｔｅ Ｍａｃｈｉｎｅ（ＦＳＭ）
を対象としたセンターステート（ＣｅｎｔｅｒＳｔａｔ
ｅ）を用いるシステムである。ここではＦＳＭのテスト
容易性の尺度として、全ての状態の組の距離の平均値を
用いている。状態の組の距離とは、現状態と最終遷移目
的先状態の２つの状態からなる状態の組を考え、その現
状態から最終遷移目的先状態へ遷移する為に必要な最小
のクロック数が状態の組の距離である。数値が小さい場
合は距離が近いと言い、大きい場合には距離が遠いと言
う。

【０００４】距離の平均値がＦＳＭのテスト容易性の尺
度になりうるわけは、ＦＳＭから合成された順序回路の
テストパタン長が、状態間の距離に依存するからであ
る。順序回路のテストパタンは、遷移系列と故障活性化
系列と識別系列の３種類の系列の組の繰り返しからな
る。遷移系列とは、順序回路の内部状態を現内部状態か
ら故障活性化系列が必要とする内部状態に遷移させる入
力パタン系列であり、故障活性化系列とは故障の影響を
ＦＦあるいは外部出力端子に伝搬する入力パタンであ
り、識別系列とは故障活性化系列によりＦＦに伝搬した
故障の影響をＦＦから外部出力端子に伝搬させる為の入
力パタン系列である。順序回路の内部状態とは、順序回
路中のＦＦが保持する二値論理値ベクトルである。例え
ば２つのＦＦを持つ順序回路では、ＦＦが保持する二値
論理値ベクトルは“００”，“０１”，“１０”，“１
１”の４通りがあり、それぞれが一つの内部状態であ
る。故障活性化系列が必要とする内部状態と現在の内部
状態が等しい場合には遷移系列は必要無い。故障活性化
系列による故障の影響が外部出力端子に伝搬している場
合には識別系列は必要ない。ＦＳＭの一つの状態は、順
序回路の内部状態一つに対応するので、遷移系列による
内部状態の遷移はＦＳＭの状態の遷移と等価である。

【０００５】したがって遷移系列長はＦＳＭの状態間の
距離に依存し、それゆえＦＳＭの状態間の距離の短縮は
遷移系列長を短縮し、順序回路テストパタン長を短縮す
る効果がある。長い遷移系列を必要とする順序回路を順
序回路テストパタン自動生成プログラムに入力した場合
には、テストパタン生成に長大な時間が必要であり、プ
ログラム実行時間に制限を与えられた場合には、テスト
パタン系列の生成に時間のかかる故障がある場合には、
その故障に対するテストパタン生成が処理途中で打ち切
られ、別の故障に対するテストパタン生成に処理が移さ
れる為に、検出される故障数が減り、満足な故障検出率
が得られない場合がある。したがって、ＦＳＭの状態間
の距離を短縮した場合には、合成された結果の回路は、
系列長が短く故障検出率の高いテストパタンを短時間で
生成可能となり、ＦＳＭの距離の平均値が小さい方がテ
スト容易性が高いと言える。

【０００６】センターステートを用いたテスト容易化論
理合成システムでは、他の状態への距離の合計が最小で
ある状態をセンターステートとし、センターステートか
ら他の状態への距離が近いことを利用し、各状態からセ
ンターステートへの遷移をＦＳＭに付加することによ
り、距離の遠い状態組の距離を、センターステートを経
由した近い経路を発生させ、距離の短縮を実現し、テス
ト容易な順序回路を合成している。あるＦＳＭ中の３つ
の状態ＳＴ１，ＳＴ２，ＳＴ３を考える。ＳＴ１からＳ
Ｔ３への距離は１であり、ＳＴ２からＳＴ３への距離は
３であり、ＳＴ２からＳＴ１への距離は２以上であると
する。ここでＳＴ２からＳＴ１への距離１の経路すなわ
ち遷移を付加することによりＳＴ２からＳＴ３へはＳＴ
１を経由した距離２の経路が発生し、距離が短縮され
る。これがセンターステートによる距離短縮の原理であ
る。

【０００７】次に図面を用いて従来のテスト容易化論理
合成システムの詳細を説明する。ＦＳＭには外部出力論
理値が現状態と外部入力論理値から決まるＭｅａｌｙ型
と、外部出力論理値が現状態からのみ決まるＭｏｏｒｅ
型があるが、Ｍｏｏｒｅ型は外部出力論理値が外部入力
論理値に依存しないＭｅａｌｙ型であるとみなすことが
出来るので、Ｍｅａｌｙ型を用いて説明を行う。

【０００８】図１１は従来のテスト容易化論理合成シス
テムの全体構成を示すブロック図である。テクノロジマ
ッピングに使用するテクノロジライブラリを読み込み記
憶部１０１に保持するライブラリ入力手段１０２と、論
理合成対象の回路記述を読み込み記憶部１０１に保持す
る回路入力手段１０３と、面積や遅延などの制約条件を
読み込み記憶部１０１に保持する制約条件入力手段１０
４と、記憶部１０１に保持された回路がＦＳＭ以外の形
式表現されている場合にＦＳＭを抽出するＦＳＭ抽出手
段１０５と、記憶部１０１に保持されたＦＳＭで表現さ
れた回路のテスト容易性を向上するテスト容易化手段１
１０１と、記憶部１０１に保持されたＦＳＭで表現され
た回路の状態に二値論理値ベクトルを割り当てる状態割
り当て手段１０７と、記憶部１０１に保持された回路の
面積を最適化する面積最適化手段１０８と、記憶部１０
１に保持された回路の遅延を最適化する遅延最適化手段
１０９と、記憶部１０１に保持された論理合成結果の回
路を出力する回路出力手段１１０と、論理合成対象回路
とテクノロジライブラリと制約条件を保持する記憶部１
０１を有し、特にＦＳＭ中の全ての状態を候補にセンタ
ーステートを選択するセンターステート選択手段１１２
と、ＦＳＭにセンターステートへの遷移を付加する遷移
付加手段１１３と、状態割り当て後の回路にセンタース
テートに割り当てられた二値論理値ベクトルを生成する
論理回路を付加する論理付加手段１１４とを有すること
を特徴とするテスト容易化手段１１０１を有する。 次
に図面を参照して従来のテスト容易化論理合成システム
の動作について説明する。図１２は従来のテスト容易化
論理合成システムの動作を表すフローチャートである。
ライブラリ入力処理２０１（以下、処理２０１と呼ぶ）
でライブラリ入力手段１０２によりテクノロジライブラ
リ２０２を読み込み記憶部１０１に保持する。回路記述
入力処理２０３（以下、処理２０３と呼ぶ）で回路入力
手段１０３により回路記述２０４を読み込み記憶部１０
１に保持する。制約条件入力処理２０５（以下、処理２
０５と呼ぶ）で制約条件入力手段１０４により制約条件
２０６を読み込み記憶部１０１に保持する。ＦＳＭ抽出
処理２０７（以下、処理２０７と呼ぶ）でＦＳＭ抽出手
段１０５により記憶部１０１に保持されている回路がＦ
ＳＭ以外の形式で表現されている場合にはＦＳＭを抽出
し、記憶部１０１に保持する。センターステート選択処
理２０９（以下、処理２０９と呼ぶ）でセンターステー
ト選択手段１１２によりセンターステートを選択する。
遷移付加処理２１０（以下、処理２１０と呼ぶ）で遷移
付加手段１１３により各状態からセンターステートへの
遷移を付加する。状態割り当て処理２１１（以下、処理
２１１と呼ぶ）で状態割り当て手段１０７により記憶部
１０１に保持されているＦＳＭの状態に二値論理値ベク
トルを割り当てる。面積最適化処理２１２（以下、処理
２１２と呼ぶ）で面積最適化手段１０８により記憶部１
０１に保持されている回路に二段論理最適化や論理多段
化などのテクノロジライブラリ２０２に依存しない面積
の最適化とテクノロジライブラリ２０２を用いたテクノ
ロジに依存した面積最適化テクノロジマッピングを行
う。遅延最適化処理２１３（以下、処理２１３と呼ぶ）
で遅延最適化手段１０９により指定された制約条件２０
６を満足する様に記憶部１０１に保持されている回路に
テクノロジライブラリ２０２に依存しない遅延の最適化
とテクノロジライブラリ２０２を用いたテクノロジに依
存した遅延最適化テクノロジマッピングを行う。回路出
力処理２１４（以下、処理２１４と呼ぶ）で回路出力手
段１１０により記憶部１０１に保持されている論理合成
結果の回路のネットリスト２１５を出力する。

【０００９】次に図を用いて従来のテスト容易化論理合
成システムのテスト容易化手段１１０１の動作を詳細に
説明する。図１３はテスト容易化手段１１０１の対象と
なる２つの外部入力端子と、２つの外部出力端子と、６
つの状態とから構成される非同期リセット状態の無いＦ
ＳＭの状態遷移表であり、図１４は図１３のＦＳＭの状
態遷移グラフである。３０１ないし３０６はＦＳＭの状
態であり、３０７〜３２０は遷移状態間の遷移である。
遷移のかたわらに‘／’で区切られて記載されている数
値はその遷移が起きる条件である外部入力論理値とその
遷移が起きた時の外部出力論理値であり、外部入力論理
値／外部出力論理値の形式で記述されている。

【００１０】遷移３０９は現状態が状態Ａ３０１である
時に外部入力端子に論理値“０１”が入力されると次の
クロックが印加された時に状態Ｂ３０２へ遷移し、外部
出力端子に論理値“０１”を出力することを示す。遷移
３０９は状態遷移表の遷移１３０２と等価である。他も
同様である。

【００１１】図６はセンターステート選択手段１１２の
フローチャートである。状態間距離算出処理６０１（以
下、処理６０１と呼ぶ）により、各状態組の距離を求
め、その結果を図１５に示す。状態Ａ３０１から状態Ｂ
３０２へは遷移３０９を介して１クロックで遷移するの
で図１５のＡ行Ｂ列のますは１となる。状態Ａ３０１か
ら状態Ｅ３０５へは一旦遷移３０９を介して状態Ｂ３０
２へ遷移し、次に遷移３１２を介して状態Ｅ３０５へ遷
移する２クロックでの遷移が最も距離が近い経路である
ので、図１５のＡ行Ｅ列のますは２となる。他も同様に
して距離を求める。

【００１２】得られた距離の平均値は２．１６である。
自己距離リセット処理６０２（以下、処理６０２と呼
ぶ）により、自分自身への距離を０とする。その結果を
図１６に示す。図１５と比較するとＡ行Ａ列のますが０
になっており、他も同様である。距離合計算出処理６０
３（以下、処理６０３と呼ぶ）により各状態の他の状態
への距離の合計を求める。その結果を図１６のＳＵＭの
列に示す。例えば状態Ａ３０１の他の状態への距離の合
計は７である。センターステート決定処理６０４（以
下、処理６０４と呼ぶ）により距離の合計が最小である
状態をセンターステートに選択する。図１６より、合計
が最小である状態Ａ３０１がセンターステートに選択さ
れる。

【００１３】次に遷移付加手段１１３により、全ての状
態からセンターステートへの遷移を付加し、距離の短縮
によるテスト容易性を付加する。図１７は遷移付加手段
１１３の動作を示すフローチャートである。センタース
テート制御用外部入力端子付加処理１７０１（以下、処
理１７０１と呼ぶ）によりセンターステート制御用外部
入力端子を回路に付加する。センターステート制御用外
部入力端子はＦＳＭの遷移を制御する為の外部入力端子
で、センターステート制御用外部入力端子に二値論理値
の一方が入力された場合には他の外部入力端子の論理値
にしたがって元のＦＳＭと同じ遷移をし、二値論理値の
他方が入力された場合には他の外部入力端子の論理値に
かかわらずセンターステートへ遷移する。ここでは、セ
ンターステート制御用外部入力端子の論理値が‘０’で
ある場合には元のＦＳＭと同じ遷移をし、論理値が
‘１’の場合にはセンターステートへ遷移する様に動作
させるとする。遷移条件変更処理１７０２（以下、処理
１７０２と呼ぶ）により遷移条件である外部入力の論理
値を変更する。すなわち、遷移の条件である外部入力端
子の論理値にセンターステート制御用外部入力端子の元
のＦＳＭと同じ遷移をする論理値‘０’を付加する。

【００１４】センターステートへの遷移付加処理１７０
３（以下、処理１７０３と呼ぶ）によりセンターステー
ト制御用外部入力端子の論理値が‘１’の場合には他の
外部入力端子の論理値にかかわらずセンターステートへ
遷移する様に遷移を付加する。

【００１５】図１８は遷移付加手段１１３が終了したＦ
ＳＭの状態遷移表であり、図１９はそのＦＳＭの状態遷
移グラフである。図１８における１８０１〜１８１４
は、それぞれセンターステート制御用外部入力端子の論
理値を遷移条件に加えた遷移１３０１〜１３１４であ
り、１８１５〜１８２０は付加されたセンターステート
への遷移である。図１９における１９０１はセンタース
テートへの遷移条件とセンターステート制御用外部入力
端子の論理値を遷移条件に加えた遷移３０７であり、１
９０２〜１９１０はそれぞれセンターステート制御用外
部入力端子の論理値を遷移条件に加えた遷移３０８〜３
１６である。１９１５はセンターステートへの遷移条件
とセンターステート制御用外部入力端子の論理値を遷移
条件に加えた遷移３１７である。１９１６〜１９１８は
それぞれセンターステート制御用外部入力端子の論理値
を遷移条件に加えた遷移３１８〜３２０である。

【００１６】遷移１３０２は処理１７０１により遷移１
８０２に変更される。遷移１８０２は遷移１３０２に対
してセンターステート制御用外部入力端子の論理値が
‘０’であるという条件が加わっている。遷移１８０２
は遷移１９０２と等価である。他も同様である。処理１
７０２により遷移１８１５ないし１８２０が付加され
る。

【００１７】遷移１８１６は現状態が状態Ｂ３０２でセ
ンターステート制御用外部入力端子の論理値が‘１’の
場合にはセンターステートとして選択された状態Ａ３０
１へ遷移することを示している。他も同様である。ここ
でセンターステートへの遷移時の外部出力端子の論理値
を特に指定をせずにドントケアとしているが、何らかの
論理値を指定してもよい。ドントケアを指定した場合に
は後の面積最適化手段１０８で出力論理値が割り当てら
れる。遷移１８１６と遷移１９１５は等価である。

【００１８】遷移１８０１と遷移１８１５は現状態と次
状態が一致しているので状態遷移グラフでは一つにまと
めて遷移１９０１として記述してある。遷移１８１２と
遷移１８１９も一つにまとめて遷移１９１１としてあ
る。

【００１９】上記処理の効果を確認する為に図１８に得
られたＦＳＭに対して状態間の距離を求めた結果を図２
０に示す。例えば図１５のＤ行Ｂ列に示される状態Ｂ３
０４から状態Ｂ３０２への距離が５であるのに対し、図
２０のＤ行Ｂ列に示される距離は２であり、センタース
テートへの遷移を付加したことにより距離が短縮されて
いる。距離の平均値も図１５では２．１６であるのに対
し、図２０では１．１６であり、距離が短縮され、テス
ト容易性が向上したことが確認できる。

【００２０】次に図を用いてＦＳＭに対するセンタース
テートへの遷移の付加と等価な効果を、ＦＳＭの状態割
当後の順序回路に対して論理回路を付加することにより
実現する論理付加手段１１４を用いる従来のテスト容易
化論理合成システムの動作を説明する。図２１は論理付
加手段１１４を用いる従来のテスト容易化論理合成シス
テムの動作を示すフローチャートである。図２１は図１
２の遷移付加手段１１３を用いる場合と異なり、センタ
ーステート選択手段１１２適用後に状態割り当て手段１
０７を適用し、その後に論理付加手段１１４を適用し、
遷移付加手段１１３は適用していない。

【００２１】次に図を用いて論理付加手段１１４を用い
る従来のテスト容易化論理合成システムの動作を詳細に
説明する。処理２０９のセンターステート選択手段１１
２迄の手順は前述の遷移付加手段１１３を適用する場合
と同様である為省略する。次に処理２１１で状態割り当
て手段１０７により各状態に内部状態の二値論理値ベク
トルを割り当てる。状態割り当てに関しては周知の技術
である為、詳細の説明は省略する。

【００２２】図２２は状態割り当て手段１０７の結果の
順序回路を示す図である。６つの状態を表現するために
３つのＦＦを生成する。これはＦＦによる表現可能な内
部状態数が２のＦＦ数乗であるため、６つの状態を表現
可能な最小のＦＦの個数が３であるからである。状態割
り当て手段１０７によりＦＳＭは図２２に示す様に、外
部入力端子２２１２の論理値とＦＦ出力論理値２２０５
ないし２２０７から外部出力端子２２１３の論理値とＦ
Ｆデータ入力論理２２０８ないし２２１０を生成する組
合せ回路２２０１と、内部状態を保持するＦＦ２２０２
ないし２２０４と、ＦＦ出力論理値２２０５ないし２２
０７と、ＦＦの入力論理値である内部状態の各ビットを
生成するＦＦデータ入力論理２２０８ないし２２１０
と、ＦＦのクロック２２１１と、外部入力端子２２１２
と外部出力端子２２１３で表現される順序回路に変換さ
れる。

【００２３】図２３は論理付加手段１１４の動作を示す
フローチャートであり、図２４は図２２の順序回路に論
理付加手段１１４を適用した結果の順序回路を示す図で
ある。

【００２４】状態割り当て手段１０７によりセンタース
テート選択手段１１２が選択した状態Ａ３０１には内部
状態として二値論理値ベクトル“０１０”が割り当てら
れたとする。すなわち、ＦＦ２２０２の保持する論理値
が‘０’でＦＦ２２０３の保持する論理値が‘１’でＦ
Ｆ２２０４の保持する論理値が‘０’である場合が状態
Ａ３０１と等価となる。したがって、ＦＦ２２０２ない
し２２０４への入力論理値がセンターステート制御用入
力端子に論理値‘０’が入力された場合にはＦＦデータ
入力論理２２０８ないし２２１０の論理値となり、セン
ターステート制御用入力端子に論理値‘１’が入力され
た場合には二値論理値ベクトル“０１０”となるように
回路を変更すれば、センターステートへの遷移を付加し
た場合と等価な効果が得られることになる。

【００２５】センターステート制御用外部入力端子付加
処理２３０１（以下、処理２３０１と呼ぶ）によりセン
ターステート制御用外部入力端子２４０１を回路に付加
する。未処理ＦＦ有無判断処理２３０２（以下、処理２
３０２と呼ぶ）により未処理のＦＦの有無を判断し、未
処理のＦＦがある場合には未処理ＦＦ抽出処理２３０３
（以下、処理２３０３と呼ぶ）に進み、未処理のＦＦが
無い場合には論理付加手段１１４を終了する。処理２３
０３では未処理のＦＦを一つ抽出し処理済みとする。こ
こではまずＦＦ２２０２が抽出されたとする。割り当て
論理値判断処理２３０４（以下、処理２３０４と呼ぶ）
によりＦＦに割り当てられたセンターステートの論理値
が判断され、論理値‘０’が割り当てられている場合に
はＮＯＴ素子有無判断処理２３０５（以下、処理２３０
５と呼ぶ）に進み、論理値‘１’が割り当てられている
場合には二入力ＯＲ素子付加処理２３０８（以下、処理
２３０８と呼ぶ）に進む。ＦＦ２２０２には論理値
‘０’が割り当てられているので処理２３０５に進む。
処理２３０５ではセンターステート制御用外部入力端子
の反転論理を生成するＮＯＴ素子の有無が判断され、Ｎ
ＯＴ素子がある場合には二入力ＡＮＤ素子付加処理２３
０７（以下、処理２３０７と呼ぶ）に進み、ＮＯＴ素子
が無い場合にはＮＯＴ素子付加処理２３０６（以下、処
理２３０６と呼ぶ）に進む。この場合はＮＯＴ素子は無
いので処理２３０６に進む。処理２３０６ではセンター
ステート制御用外部入力端子の反転論理を生成するＮＯ
Ｔ素子２４０２を回路に付加し、ＮＯＴ素子２４０２の
入力端子とセンターステート制御用外部入力端子２４０
１を接続する。処理２３０７では二入力ＡＮＤ素子２４
０３を付加し、一方の入力端子とＮＯＴ素子２４０２の
出力端子を接続し他方の入力端子とＦＦデータ入力論理
２２０８を接続し、ＦＦデータ入力論理２２０８とＦＦ
２２０２のデータ入力との接続を切り離し、二入力ＡＮ
Ｄ素子２４０３の出力端子をＦＦ２２０２のデータ入力
端子に接続し、処理２３０２に進む。この変更によりＦ
Ｆ２２０２のデータ入力端子への入力論理値は、Center
State制御用入力端子２４０１＊ＦＦデータ入力論理２
２０８（＊は論理積を表す）となり、所望の論理値がＦ
Ｆ２２０２に入力される。

【００２６】次に処理２３０３でＦＦ２２０３が選択さ
れたとする。処理２３０４によりＦＦに割り当てられた
センターステートの論理値が判断され、ＦＦ２２０３に
は論理値‘１’が割り当てられているので処理２３０８
に進む。処理２３０８では二入力ＯＲ素子２４０４を付
加し、一方の入力端子にはセンターステート制御用外部
入力端子２４０１を接続し、他方の入力端子にはＦＦデ
ータ入力論理２２０９を接続し、ＦＦデータ入力論理２
２０９とＦＦ２２０３のデータ入力との接続を切り離
し、二入力ＯＲ素子２４０４の出力端子をＦＦ２２０３
のデータ入力端子に接続する。この変更によりＦＦ２２
０３のデータ入力端子への入力論理値は、Center State
制御用入力端子２４０１＋ＦＦデータ入力論理２２０９
（＋は論理和を表す）となり、所望の論理値がＦＦ２２
０３に入力される。

【００２７】ＦＦ２２０４の場合はＮＯＴ素子２４０２
が既に存在する為に処理２３０５から処理２３０７に進
むことを除いてＦＦ２２０２に対する処理と同様である
ので説明は省略する。

【００２８】上記説明では論理素子を用いてセンタース
テートに割り当てられた内部状態二値論理値ベクトルを
生成する論理回路を実現したが、実際に適用する場合に
は面積最適化手段１０８および遅延最適化手段１０９の
テクノロジマッピングで使用するテクノロジライブラリ
２０２中の実際の素子を用いても良く、テクノロジライ
ブラリ２０２に依存しない論理そのものを挿入しても良
い。

【００２９】また、テスト容易性付加手段を状態割り当
て手段１０７直後に実行する様に説明したが、論理合成
が後に実行する面積最適化手段１０８および遅延最適化
手段１０９中に実行しても良い。ただし、ＦＦを組合せ
回路を跨いで移動させることにより遅延を最適化するリ
タイミング技術を応用した遅延最適化を適用する以前に
実行しなければならない。リタイミングは回路中のＦＦ
の個数やＦＦデータ入力の論理を変更するので、センタ
ーステートと等価な内部状態が状態割り当て手段１０７
が割り当てた二値論理値ベクトルから別の二値論理値ベ
クトルに変化してしまう為である。

【００３０】センターステートを用いたテスト容易化論
理合成システムはＦＳＭを対象とするが、ＦＳＭ抽出手
段１０５によりネットリストの様なＦＳＭ以外の形式で
表現された順序回路からＦＳＭを抽出し、抽出したＦＳ
Ｍに対して適用しても良い。

【００３１】

【発明が解決しようとする課題】第１の問題点は非同期
リセット状態あるいは非同期リセット状態からの距離が
近い状態がセンターステートとして選択された場合に、
テスト容易化の効果が得られない、あるいは得られても
効果が少ないことである。上記だい１の問題点は非同期
リセット状態はその機能により全ての状態からの遷移が
可能である為、新たに非同期リセット状態への遷移を付
加したとしても状態間の距離は全く短縮されないという
理由から生ずる。又、非同期リセット状態からの距離が
近い状態もすでに非同期リセット状態を介した経路が存
在する為に距離を短縮する効果が少ないということも理
由として挙げられる。

【００３２】図３は図１４のＦＳＭの状態Ａ３０１が非
同期リセット状態である場合の状態遷移グラフである。
非同期リセット遷移３２１は非同期リセット制御外部入
力端子ＲＳＴが論理値‘１’の場合に他の外部入力端子
およびクロックにかかわらず非同期リセット状態である
状態Ａ３０１に遷移することを示す。このＦＳＭに対し
て距離を求めた結果は図５になる。非同期リセット状態
への遷移のクロック数は０であるが、遷移する為のパタ
ンが１パタン必要であるので、便宜上１クロックかか
る、すなわち距離１として処理する。ここで従来の技術
を用いてセンターステートを選択すると状態Ａ３０１が
センターステートに選択され、センターステートへの遷
移を付加したとしても距離は短縮されず、テスト容易性
は向上しない。 第２の問題点は他の状態からの距離が
近い状態がセンターステートとして選択された場合に、
テスト容易化の効果が得られない、あるいは得られても
効果が少ないことである。上記第２の問題点は新たに他
の状態からの距離が近い状態への遷移を付加したとして
も、もともと距離が近い為に状態間の距離を短縮する効
果が少ないという理由から生ずる。

【００３３】図３１をテスト容易化論理合成対象のＦＳ
Ｍとする。図３２は図３１のＦＳＭの状態間の距離を求
めた結果であり、平均距離は１．５２である。このＦＳ
Ｍに対して従来のテスト容易化論理合成を適用すると、
状態Ｃ３１０３がセンターステートに選択される。状態
Ｃ３１０３への遷移を付加した結果のＦＳＭの距離を求
めた結果は図３３であり、平均距離は１．４１に短縮さ
れる。図３４は状態Ｅ３１０５をセンターステートとし
た場合の図３１のＦＳＭの距離を求めた結果である。こ
の場合、平均距離は１．３６まで短縮され、他のどの状
態をセンターステートとした場合よりも平均距離が短縮
されている。状態Ｃ３１０３の距離短縮効果が状態Ｅ３
１０５よりも小さい理由は、他の状態から状態Ｃ３１０
３への距離が近い為、他の状態から状態Ｃ３１０３へ新
たに遷移を付加して距離を１にしても距離短縮効果が少
ない為である。

【００３４】本発明の目的は非同期リセット状態を考慮
することにより、非同期リセット状態を有するＦＳＭに
対してもテスト容易性が向上する、より効果の高いセン
ターステートの選択が可能なテスト容易化論理合成シス
テムを提供することである。

【００３５】本発明の他の目的は他の状態からの距離が
近い状態を考慮することにより、他の状態からの距離が
近い状態を有するＦＳＭに対してもテスト容易性が向上
する、より効果の高いセンターステートの選択が可能な
テスト容易化論理合成システムを提供することである。

【００３６】

【課題を解決するための手段】本発明によれば、テクノ
ロジマッピングに使用するテクノロジライブラリを読み
込み記憶部に保持するライブラリ入力手段と、論理合成
対象の回路記述を読み込み記憶部に保持する回路入力手
段と、面積や遅延などの制約条件を読み込み記憶部に保
持する制約条件入力手段と、記憶部に保持された回路が
ＦＳＭ以外の形式表現されている場合にＦＳＭを抽出す
るＦＳＭ抽出手段と、記憶部に保持されたＦＳＭで表現
された回路のテスト容易性を向上するテスト容易化手段
と、記憶部に保持されたＦＳＭで表現された回路の状態
に二値論理値ベクトルを割り当てる状態割り当て手段
と、記憶部に保持された回路の面積を最適化する面積最
適化手段と、記憶部に保持された回路の遅延を最適化す
る遅延最適化手段と、記憶部に保持された論理合成結果
の回路を出力する回路出力手段と、論理合成対象回路と
テクノロジライブラリと制約条件を保持する記憶部を有
するテスト考慮論理合成システムにおいて、特に、ＦＳ
Ｍを対象にＦＳＭのセンターステートを用いて状態間の
距離を短縮してテスト容易性を向上させるテスト容易化
手段が、センターステートに選択してもテスト容易性向
上の効果が少ない他の状態から状態遷移によって遷移す
る場合に所定の閾値よりも距離が近い状態をセンタース
テートの候補から除外するセンターステート候補選択手
段を有することを特徴とするテスト容易化論理合成シス
テムが得られる。

【００３７】又、本発明によれば、テクノロジマッピン
グに使用するテクノロジライブラリを読み込み記憶部に
保持するライブラリ入力手段と、論理合成対象の回路記
述を読み込み記憶部に保持する回路入力手段と、面積や
遅延などの制約条件を読み込み記憶部に保持する制約条
件入力手段と、記憶部に保持された回路がＦＳＭ以外の
形式表現されている場合にＦＳＭを抽出するＦＳＭ抽出
手段と、記憶部に保持されたＦＳＭで表現された回路の
テスト容易性を向上するテスト容易化手段と、記憶部に
保持されたＦＳＭで表現された回路の状態に二値論理値
ベクトルを割り当てる状態割り当て手段と、記憶部に保
持された回路の面積を最適化する面積最適化手段と、記
憶部に保持された回路の遅延を最適化する遅延最適化手
段と、記憶部に保持された論理合成結果の回路を出力す
る回路出力手段と、論理合成対象回路とテクノロジライ
ブラリと制約条件を保持する記憶部を有するテスト考慮
論理合成システムにおいて、特に、ＦＳＭを対象にＦＳ
Ｍのセンターステートを用いて状態間の距離を短縮して
テスト容易性を向上させるテスト容易化手段が、センタ
ーステートに選択してもテスト容易性向上の効果が少な
い他の状態から状態遷移によって遷移する場合に所定の
閾値よりも距離が近い状態をセンターステートの候補か
ら除外するセンターステート候補選択手段を有し、他の
状態から状態遷移によって遷移する場合に所定の閾値よ
りも距離が近い状態を判断するのに所定の閾値を遠近尺
度閾値算出工程によって遠近判断することを特徴とする
テスト容易化論理合成システムが得られる。

【００３８】

【作用】センターステートに選択されてもテスト容易性
向上の効果の少ない非同期リセット状態と非同期リセッ
ト状態からの距離が近い状態がセンターステートＳｔａ
ｔｅの候補から除外されている為、たとえ非同期リセッ
ト状態あるいは非同期リセット状態からの距離が近い状
態から、他の状態への距離の合計が小さくてもセンター
ステートとして選択されなくなる。

【００３９】また、センターステートに選択されてもテ
スト容易性向上の効果の少ない他の状態からの距離が近
い状態がセンターステートの候補から除外されている
為、たとえ他の状態からの距離が近い状態から、他の状
態への距離の合計が小さくてもセンターステートとして
選択されなくなる。

【００４０】

【発明の実施の形態】以下、本発明の実施の形態を説明
する。ここで、図１から図３４までについては本願発明
の特徴的部分ではないが、本発明は本発明には欠かせな
い要素も含まれているので、本発明を説明する前に詳細
に説明する。尚、図１の構成は以下で述べる本発明の基
本構成となる者である。図１は本発明の全体構成を示す
ブロック図である。テクノロジマッピングに使用するテ
クノロジライブラリを読み込み記憶部１０１に保持する
ライブラリ入力手段１０２と論理合成対象の回路記述を
読み込み記憶部１０１に保持する回路入力手段１０３と
面積や遅延などの制約条件を読み込み記憶部１０１に保
持する制約条件入力手段１０４と記憶部１０１に保持さ
れた回路がＦＳＭ以外の形式表現されている場合にＦＳ
Ｍを抽出するＦＳＭ抽出手段１０５と記憶部１０１に保
持されたＦＳＭで表現された回路のテスト容易性を向上
するテスト容易化手段１０６と記憶部１０１に保持され
たＦＳＭで表現された回路の状態に二値論理値ベクトル
を割り当てる状態割り当て手段１０７と記憶部１０１に
保持された回路の面積を最適化する面積最適化手段１０
８と記憶部１０１に保持された回路の遅延を最適化する
遅延最適化手段１０９と記憶部１０１に保持された論理
合成結果の回路を出力する回路出力手段１１０と論理合
成対象回路とテクノロジライブラリと制約条件を保持す
る記憶部１０１を有し、特にセンターステートに選択し
てもテスト容易性向上の効果が少ない状態をセンタース
テートの候補から除外するセンターステート候補選択手
段１１１と、選択された候補の状態からセンターステー
トを選択するセンターステート選択手段１１２と、ＦＳ
Ｍにセンターステートへの遷移を付加する遷移付加手段
１１３と、状態割り当て後の回路にセンターステートに
割り当てられた二値論理値ベクトルを生成する論理回路
を付加する論理付加手段１１４とを有することを特徴と
するテスト容易化手段１０６を有する。

【００４１】次に図面を参照して本実施の形態の動作に
ついて説明する。図２は図１のシステム動作を表すフロ
ーチャートである。処理２０１はライブラリ入力手段１
０２によりテクノロジライブラリ２０２を読み込み記憶
部１０１に保持する。処理２０３で回路入力手段１０３
により回路記述２０４を読み込み記憶部１０１に保持す
る。処理２０５で制約条件入力手段１０４により制約条
件２０６を読み込み記憶部１０１に保持する。処理２０
７でＦＳＭ抽出手段１０５により記憶部１０１に保持さ
れている回路がＦＳＭ以外の形式で表現されている場合
にはＦＳＭを抽出し、記憶部１０１に保持する。センタ
ーステート候補選択処理２０８（以下、処理２０８と呼
ぶ）でセンターステート候補選択手段１１１によりセン
ターステートに選択してもテスト容易性向上の効果が少
ない状態をセンターステートの候補から除外する。処理
２０９でセンターステート選択手段１１２によりセンタ
ーステートを選択する。処理２１０で遷移付加手段１１
３により各状態からセンターステートへの遷移を付加す
る。処理２１１で状態割り当て手段１０７により記憶部
１０１に保持されているＦＳＭの状態に二値論理値ベク
トルを割り当てる。処理２１２で面積最適化手段１０８
により記憶部１０１に保持されている回路に二段論理最
適化や論理多段化などのテクノロジライブラリ２０２に
依存しない面積の最適化とテクノロジライブラリ２０２
を用いたテクノロジに依存した面積最適化テクノロジマ
ッピングを行う。処理２１３で遅延最適化手段１０９に
より記憶部１０１に保持されている回路に指定された制
約条件２０６を満足する様にテクノロジライブラリ２０
２に依存しない遅延の最適化とテクノロジライブラリ２
０２を用いたテクノロジに依存した遅延最適化テクノロ
ジマッピングを行う。処理２１４で回路出力手段１１０
により記憶部１０１に保持されている論理合成結果の回
路のネットリスト２１５を出力する。

【００４２】次に効果について説明する。上記例は、セ
ンターステートの選択を全ての状態を候補とせずに非同
期リセット状態自身および非同期リセット状態からの距
離が近い状態をセンターステートの候補から除外するの
で、非同期リセット状態からの距離が遠く且つ距離の短
縮の効果のある状態がセンターステートとして選択され
るため、非同期リセット状態を持つＦＳＭに対して本発
明を適用した場合には、非同期リセット状態を考慮しな
い場合と比べてより距離の短縮の効果の高い状態がセン
ターステートに選択される効果がある。

【００４３】次に、テスト容易化手段１０６の動作を詳
細に説明する。図３は記憶部１０１に保持されている論
理合成対象の非同期リセット状態のある２つの外部入力
端子と２つの外部出力端子と６つの状態からなるＦＳＭ
の状態遷移グラフである。非同期リセット状態は状態Ａ
３０１である。

【００４４】図４はセンターステート候補選択手段１１
１の詳細な動作を表すフローチャートである。非同期リ
セット状態有無判断処理４０１（以下、処理４０１と呼
ぶ）で非同期リセット状態が無い場合は全状態候補選択
処理４０２（以下、処理４０２と呼ぶ）に進み全ての状
態をセンターステートの候補に選択してセンターステー
ト候補選択手段１１１を終了し、非同期リセット状態が
ある場合には遠近判断尺度閾値算出処理４０３（以下、
処理４０３と呼ぶ）に進む。この場合は非同期リセット
状態があるので処理４０３に進む。

【００４５】処理４０３で非同期リセット状態からの距
離の遠近の判断の尺度である閾値を求める。距離が近い
か遠いかを判断する尺度としては、距離の平均値を閾値
として非同期リセット状態からの距離の数値が平均値よ
りも小さい状態をセンターステートの候補から除外する
ことにより非同期リセット状態から遠い状態を候補とし
て選択する尺度、あるいは可能な距離の最大値が状態数
に依存することから状態数を利用した計算式、例えば状
態数の平方根などの計算結果を閾値として非同期リセッ
ト状態からの距離の数値が計算結果よりも小さい状態を
センターステートの候補から除外することにより非同期
リセット状態から遠い状態を候補として選択する尺度、
あるいは選択すべき候補の状態の個数が指定され、非同
期リセット状態からの距離が遠い状態から順番に指定さ
れた選択すべき候補の個数を上限に候補を選択する尺
度、あるいは候補から除外すべき状態の個数が指定さ
れ、非同期リセット状態からの距離が近い状態から順番
に指定された選択すべき候補の個数を上限に候補から除
外する尺度、などが考えられる。ここでは距離の平均値
を尺度として用いるとする。処理４０３で距離の遠近の
判断尺度である閾値を求める。距離の平均値を求める為
に全ての状態の組の距離を求め、その結果を図５に示
す。距離の平均値は１．６１である。

【００４６】非同期リセット状態からの距離算出処理４
０４（以下、処理４０４と呼ぶ）で非同期リセット状態
から他の状態への距離を求める。処理４０３で閾値を求
める段階で非同期リセット状態からの距離は既に求まっ
ているのでそれを流用する。すなわち、図５のＡ行が非
同期リセット状態からの距離である。次にセンターステ
ート候補初期化処理４０５（以下、処理４０５と呼ぶ）
でセンターステートの候補を空にする。非同期リセット
状態除外処理４０６（以下、処理４０６と呼ぶ）で非同
期リセット状態を選別済みとし、センターステートの候
補から除外する。ここで状態Ａ３０１はセンターステー
トに選択されなくなる。未選別状態有無判断処理４０７
（以下、処理４０７と呼ぶ）でセンターステートの候補
となるか選別されていない状態の有無を判断し、全ての
状態が選別済みであればセンターステート候補選択手段
１１１を終了し、選別されていない状態が残っている場
合には未選別状態抽出処理４０８（以下、処理４０８と
呼ぶ）に進む。

【００４７】処理４０８で選別されていない状態を一つ
抽出し、選別済みとする。まず状態Ｂ３０２が抽出され
たとする。遠近判断処理４０９（以下、処理４０９と呼
ぶ）で処理４０３で求めた閾値と処理４０８で抽出した
状態の処理４０４で求めた非同期リセット状態からの距
離を比較し、距離が近い場合には処理４０７に進み距離
が遠い場合にはセンターステート候補追加処理４１０
（以下、処理４１０と呼ぶ）に進む。状態Ｂ３０２の非
同期リセット状態Ａ３０１からの距離は１であるので、
閾値１．６１と比較した結果、非同期リセット状態から
の距離は近いと判断され、処理４０７に進む。 処理４
１０では処理４０７で抽出した状態をセンターステート
の候補に加え、処理４０７に進む。次に処理４０８で状
態Ｅ３０５が抽出されたとすると、処理４０９で状態Ｅ
３０５の非同期リセット状態からの距離２が閾値１．６
１と比較され、非同期リセット状態からの距離は遠いと
判断され、処理４１０に進み、状態Ｅ３０５はセンター
ステートの候補に加えられ、処理４０７に進む。センタ
ーステート候補選択手段１１１が終了した結果、非同期
リセット状態からの距離が距離の平均値１．６１よりも
遠い状態は状態Ｅ３０５と状態Ｆ３０６であり、この２
つの状態がセンターステートの候補となる。次にセンタ
ーステート選択手段１１２によりセンターステート候補
選択手段１１１で選択された候補からセンターステート
を選択する。

【００４８】図６はセンターステート選択手段１１２の
詳細な動作を表すフローチャートである。状態間距離算
出処理６０１（以下、処理６０１と呼ぶ）でセンタース
テート候補状態間の距離を求める。この時の最短経路に
はセンターステート候補になっていない状態も経路とし
て使用して良い。センターステート候補選択手段１１１
で既に距離が求められている場合にはその結果を流用し
て良い。本実施例では処理４０３で閾値を求める段階で
既に求まっているのでそれを流用する。この場合は図５
のＥ行Ｅ列とＥ行Ｆ列とＦ行Ｅ列とＦ行Ｆ列のますを抽
出すればよい。結果を図７に示す。

【００４９】自己距離リセット処理６０２（以下、処理
６０２と呼ぶ）で自分自身への距離を０とする。結果を
図８に示す。図７と異なりＥ行Ｅ列とＦ行Ｆ列のますが
０になっている。距離合計算出処理６０３（以下、処理
６０３と呼ぶ）でセンターステート候補各状態の距離の
合計を求める。結果を図８のＳＵＭの列に示す。センタ
ーステート決定処理６０４（以下、処理６０４と呼ぶ）
で距離の合計が最小である状態をセンターステートに選
択る。図８より、状態Ｅ３０５からの距離の合計が３で
あり、状態Ｆ３０６からの距離の合計が２であるので、
距離の合計値が最小である状態Ｆ３０６をセンターステ
ートに選択する。

【００５０】次に遷移付加手段１１３により全ての状態
からセンターステート選択手段１１２でセンターステー
トに選択された状態Ｆ３０６への遷移を付加し、距離の
短縮によるテスト容易性を付加する。図９は遷移を付加
した結果のＦＳＭの状態遷移グラフである。ここで、９
０１〜９０８はそれぞれセンターステート制御用外部入
力端子の論理値を遷移条件に加えた遷移３０７〜３１４
であり、９０９はセンターステートへの遷移条件とセン
ターステート制御用外部入力端子の論理値を遷移条件に
加えた遷移３１５であり、９１０〜９１２はそれぞれセ
ンターステート制御用外部入力端子の論理値を遷移条件
に加えた遷移３１６〜３１８であり、９１３はセンター
ステートへの遷移条件とセンターステート制御用外部入
力端子の論理値を遷移条件に加えた遷移３１９であり、
９１４はセンターステート制御用外部入力端子の論理値
を遷移条件に加えた遷移３２０であり、９１５〜９１８
はセンターステートへの遷移である。

【００５１】図９のＦＳＭの各状態組間の距離を求めた
結果を図１０に示す。距離の平均値は１．４１であり、
従来の技術では短縮されなかった距離の平均値が短縮さ
れている。

【００５２】次に、本発明の第２の実施の形態について
説明する。該第２の実施の形態は、図１においてセンタ
ーステート候補選択手段１１１が、非同期リセット状態
からの距離が近いか遠いかを判断する尺度として、可能
な距離の最大値が状態数に依存することから状態数を利
用した計算式の計算結果の数値を閾値として用い、論理
付加手段１１４によりテスト容易性を付加する場合であ
る。

【００５３】ここではセンターステート候補選択手段１
１１が計算式として状態数の平方根を２で割った数値を
閾値として用いることとする。また、論理付加手段１１
４が、状態割り当て手段１０７により生成する順序回路
の組合せ回路部分が２段論理で表現されている時点で、
その２段論理に対してセンターステートに割り当てられ
た内部状態二値論理値ベクトルを生成する論理、すなわ
ちキューブを付加することとする。

【００５４】本実施の形態の第一の効果は、非同期リセ
ット状態からの距離の遠近の判断の閾値に状態数を用い
た計算式の計算結果を用いるので、全ての状態の組の距
離を求める必要が無いことであり、第二の効果は状態割
り当て手段１０７適用後の組合せ回路を表現する２段論
理に対して、センターステートへの遷移と等価な論理の
キューブを付加することにより、遷移付加手段２１０に
より遷移を付加した場合や論理付加手段２１０１で論理
素子を付加した場合と同等のテスト容易性が得られるこ
とである。

【００５５】図３０は上記以外の他の例による動作を示
すフローチャートである。上記した最初の例の場合と異
なり、処理２０９でセンターステート選択手段１１２適
用後に処理２１１で状態割り当て手段１０７を適用し、
その後に論理付加処理２１０１（以下、処理２１０１と
呼ぶ）で論理付加手段１１４を適用し、遷移付加手段１
１３は適用していない。

【００５６】次に、上記他の例によるテスト容易化手段
１０６の動作を詳細に説明する。ここで、図３のＦＳＭ
が論理合成対象のＦＳＭであるとする。処理２０８でセ
ンターステート候補選択手段１１１によりセンターステ
ート候補を選択する。図４はセンターステート候補選択
手段１１１の詳細な動作を表すフローチャートである。
処理４０１で非同期リセット状態が無い場合は処理４０
２に進み全ての状態をセンターステートの候補に選択し
てセンターステート候補選択手段１１１を終了し、非同
期リセット状態がある場合には処理４０３に進む。この
場合は非同期リセット状態があるので処理４０３に進
む。

【００５７】処理４０３で非同期リセット状態からの距
離の遠近の判断の尺度である閾値を求める。閾値は状態
数の平方根を２で割った数値であるので、状態数が６で
あることから、閾値１．２２が求められる。処理４０４
で非同期リセット状態からの距離を算出する。算出した
結果を図２９に示す。処理４０５でセンターステートの
候補を空にする。処理４０６で非同期リセット状態を選
別済みとし、センターステートの候補から除外する。こ
こで状態Ａ３０１はセンターステートに選択されなくな
る。処理４０７でセンターステートの候補となるか選別
されていない状態の有無を判断し、全ての状態が選別済
みであればセンターステート候補選択手段１１１を終了
し、選別されていない状態が残っている場合には処理４
０８に進む。

【００５８】処理４０８で選別されていない状態を一つ
抽出し、選別済みとする。まず状態Ｂ３０２が抽出され
たとする。処理４０９で処理４０３で求めた閾値と処理
４０８で抽出した状態の処理４０４で求めた非同期リセ
ット状態からの距離を比較し、距離が近い場合には処理
４０７に進み距離が遠い場合には処理４１０に進む。状
態Ｂ３０２の非同期リセット状態Ａ３０１からの距離は
１であるので、閾値１．２２と比較した結果、非同期リ
セット状態からの距離は近いと判断され、処理４０７に
進む。処理４１０では処理４０７で抽出した状態をセン
ターステートの候補に加え、処理４０７に進む。次に処
理４０８で状態Ｅ３０５が抽出されたとする。処理４０
９で状態Ｅ３０５の非同期リセット状態からの距離２が
閾値１．２２と比較され、非同期リセット状態からの距
離は遠いと判断され、処理４１０に進み、状態Ｅ３０５
はセンターステートの候補に加えられ、処理４０７に進
む。センターステート候補選択手段１１１が終了した結
果、非同期リセット状態からの距離が閾値１．２２より
も遠い状態は状態Ｅ３０５と状態Ｆ３０６であり、この
２つの状態がセンターステートの候補となる。

【００５９】次にセンターステート選択手段１１２によ
りセンターステート候補選択手段１１１で選択された候
補からセンターステートを選択する。図６はセンタース
テート選択手段１１２の詳細な動作を表すフローチャー
トである。処理６０１でセンターステート候補状態間の
距離を求める。この時の最短経路にはセンターステート
候補になっていない状態も経路として使用して良い。結
果を図７に示す。

【００６０】処理６０２で自分自身への距離を０とす
る。結果を図８に示す。図７と異なりＥ行Ｅ列とＦ行Ｆ
列のますが０になっている。処理６０３でセンターステ
ート候補各状態の距離の合計を求める。結果を図８のＳ
ＵＭの列に示す。処理６０４で距離の合計が最小である
状態をセンターステートに選択する。図８より、状態Ｅ
３０５からの距離の合計が３であり、状態Ｆ３０６から
の距離の合計が２であるので、距離の合計値が最小であ
る状態Ｆ３０６をセンターステートに選択する。次に処
理２１１で状態割り当て手段１０７によりＦＳＭの各状
態に内部状態二値論理値ベクトルを割り当てる。

【００６１】従来技術でも説明したが、状態割り当て手
段１０７はＦＳＭを状態を割り当てられた内部状態二値
論理値ベクトルで表現する為のＦＦと、外部入力端子論
理値とＦＦの出力論理値から外部出力端子論理値とＦＦ
のデータ入力論理値を生成する組合せ回路で表現する。
この組合せ回路の一表現方法が多入力多出力２段論理で
ある。この２段論理にセンターステートに割り当てられ
た内部状態二値論理値ベクトルを生成するキューブを付
加する。

【００６２】図２５は図３のＦＳＭに状態割り当て手段
１０７を適用して得られた各状態に割り当てられた内部
状態二値論理値ベクトルを示す図である。ここで、２５
０１〜２５０６は図３のＦＳＭの状態に割り当てられた
内部状態二値論理値ベクトルであり、２５０７〜２５０
８は、図３のＦＳＭの状態に割り当てられず、未使用と
なった二値論理値ベクトルであり、２５０９〜２５１１
は内部状態二値論理値ベクトルを保持するＦＦである。

【００６３】ＦＦ２５０９〜２５１１が生成され、状態
Ａ３０１には内部状態“０００”（内部状態二値論理値
ベクトル２５０１）が割り当てられていることを示す。
“１０１”（二値論理値ベクトル２５０７）及び“１１
１”（二値論理値ベクトル２５０８）は割り当てに使用
されなかった二値論理値ベクトルである。

【００６４】図２６は図３のＦＳＭに状態割り当て手段
１０７を適用して得られた組合せ回路部分を表す２段論
理を示す図である。ここで、２６０１〜２６１４は遷移
を表すキューブであり、２６１５及び２６１６は未使用
となった二値論理値ベクトルをドントケアにするキュー
ブである。：で区切られた左側が入力論理値を表し、右
側が出力論理値を示す。入力論理値は外部入力端子論理
値とＦＦの出力論理値により構成され、出力論理値はＦ
Ｆへのデータ入力論理値と外部出力端子論理値から構成
される。ＦＦの出力論理値とＦＦデータ入力論理値はと
もにＦＦ２５０９，ＦＦ２５１０，ＦＦ２５１１の順に
記述してある。

【００６５】例えばキューブ２６０２は外部入力端子論
理値が“０１”でＦＦの内部状態が“０００”の時にク
ロックが印加されと、ＦＦの内部状態を“０１０”に、
外部出力端子論理値を“０１”にすることを示してい
る。これは遷移３０９と等価である。またキューブ２６
１５は未使用の二値論理値ベクトル“１０１”（２５０
７）をドントケアとして用いているキューブである。他
も同様である。

【００６６】図２７はセンターステートに割り当てられ
た内部状態二値論理値ベクトルを生成するキューブを付
加する論理付加手段１１４の動作を示すフローチャート
である。図２８はキューブを付加する論理付加手段１１
４を図２６の２段論理に適用した結果である。ここで、
２８０１〜２８１６はそれぞれセンターステート制御用
外部入力端子論理値を付加したキューブ２６０１〜２６
１６であり、２８１７はセンターステート二値論理値ベ
クトル生成キューブである。

【００６７】センターステート制御用外部入力端子付加
処理２７０１（以下、処理２７０１と呼ぶ）によりセン
ターステート制御用外部入力端子の論理値を各キューブ
に付加する。センターステート制御用外部入力端子の論
理値が‘０’の場合には元の動作をし、‘１’の場合に
はセンターステートに割り当てられた内部状態二値論理
値ベクトルを生成するとする。例えばキューブ２６０１
にはセンターステート制御用外部入力端子の論理値が
‘０’であるという条件が付加されてキューブ２８０１
に変更されている。他も同様である。

【００６８】センターステート二値論理値ベクトル生成
キューブ付加処理２７０２（以下、処理２７０２と呼
ぶ）によりセンターステートに割り当てられた二値論理
値ベクトルを生成するキューブを付加する。キューブ２
８１７が付加したキューブである。キューブ２８１７は
センターステート制御用外部入力端子の論理値が‘１’
である場合に、他の外部入力端子論理値およびＦＦの出
力論理値にかかわらずＦＦデータ入力論理値を“１１
０”すなわちセンターステートに選択された状態Ｆ３０
６に割り当てられた二値論理値ベクトル２５０６を生成
し、外部出力端子の論理値はドントケアとしている。

【００６９】したがって生成された回路はキューブ２８
０１ないし２８１６により、センターステート制御用外
部入力端子の論理値が‘０’の場合には元の回路と同じ
動作をし、キューブ２８１７によりセンターステート制
御用外部入力端子の論理値が‘１’の場合にはＦＦ２５
０９ないし２５１１の値をセンターステートに選択され
た状態Ｆ３０６に割り当てられた内部状態二値論理値ベ
クトル“１１０”にするので、論理素子を付加する論理
付加手段１１４と同じ効果が得られる。

【００７０】ここで、本発明の第１の実施の形態につい
て以上の例を参照しながら説明する。本実施の形態は、
図１においてセンターステート候補選択手段１１１が、
他の状態からの距離が近い状態をセンターステートの候
補から除外する場合である。

【００７１】センターステート候補選択手段１１１が他
状態からの距離が近いか遠いかを判断する尺度として
は、他状態からの距離の合計が距離の平均値を他の状態
数倍、すなわち全状態数から１を引いた数倍した数値よ
りも小さい場合に他の状態からの距離が近いと判断する
尺度、あるいはセンターステート候補から除外すべき状
態の個数が指定され、他の状態からの距離の合計が小さ
い状態から順に指定された状態数を上限に候補から除外
する尺度、あるいは他状態からの距離が指定された閾
値、または計算式により求められた閾値よりも大きな距
離を持たない状態を他状態からの距離が近いと判断する
尺度、等が考えられる。ここでは、センターステート候
補選択手段１１１が他の状態からの距離の合計が距離の
平均値を他の状態数倍した数値よりも小さい場合に他の
状態からの距離が近いと判断する尺度を用いるとする。

【００７２】本実施の形態の第一の効果は、テスト容易
性向上の効果が少ない、他の状態からの距離が近い状態
をセンターステートの候補から除外することにより、テ
スト容易性向上の効果が高い状態をセンターステートに
選択することであり、第二の効果は非同期リセット状態
が無いＦＳＭに対してもテスト容易性向上の効果が高い
状態をセンターステートに選択することである。

【００７３】次に図面を用いて本実施の形態の動作を説
明する。図３５は本発明の第１の実施の形態のセンター
ステート候補選択手段１１１の詳細な動作を表すフロー
チャートである。図３１は記憶部１０１に保持されてい
る論理合成対象のＦＳＭの状態遷移グラフであるとす
る。図３２は図３１のＦＳＭの状態の組の距離を求めた
結果である。距離の平均値は１．５２である。ここで、
３１０１〜３１０６はＦＳＭの状態であり、３１０７〜
３１２６はＦＳＭの状態間の遷移である。

【００７４】全状態センターステート候補化処理３５０
１（以下、処理３５０１と呼ぶ）でＦＳＭ中の全ての状
態のセンターステートの候補とする。他状態遠近判断尺
度閾値算出処理３５０２（以下、処理３５０２と呼ぶ）
で他の状態からの距離の遠近を判断する尺度に基づいて
閾値を求める。距離の平均が１．５２であり、状態数が
６なので、閾値は７．６と求まる。

【００７５】未選別状態有無判断処理３５０３（以下、
処理３５０３と呼ぶ）でセンターステートの候補となる
か選別されていない状態の有無を判断し、全ての状態が
選別済みであればセンターステート候補選択手段１１１
を終了し、選別されていない状態が残っている場合には
未選別状態抽出処理３５０４（以下、処理３５０４と呼
ぶ）に進む。処理３５０４で選別されていない状態を一
つ抽出し、選別済みとする。まず状態Ａ３１０１を抽出
したとする。

【００７６】他状態からの遠近判断処理３５０５（以
下、処理３５０５と呼ぶ）で処理３５０２で求めた閾値
と処理３５０４で抽出された状態の他状態からの距離の
合計を比較し、距離が近い場合にはセンターステート候
補除外処理３５０６（以下、処理３５０６と呼ぶ）に進
み、距離が遠い場合には処理３５０３に進む。状態Ａ３
１０３の他状態からの距離の合計は５であるので、閾値
７．６と比較した結果、他の状態からの距離が近いと判
断され処理３５０６に進む。処理３５０６では処理３５
０４で抽出された状態をセンターステート候補から除外
し、処理３５０３に進む。状態Ａ３１０１をセンタース
テート候補から除外し、処理３５０３に進む。

【００７７】次に処理３５０４で状態Ｂ３１０２を抽出
し、選別済みとしたとする。処理３５０５で、状態Ｂ３
１０２の他状態からの距離の合計９が閾値７．６と比較
され、他状態からの距離は遠いと判断され、処理３５０
３に進む。センターステート候補選択手段１１１が終了
した結果、他状態からの距離の合計が閾値７．６よりも
大きい状態は状態Ｂ３１０２と状態Ｄ３１０４と状態Ｅ
３１０５と状態Ｆ３１０６であり、この４つの状態がセ
ンターステートの候補となる。次にセンターステート選
択手段１１２により、センターステート候補選択手段１
１１で選択された候補からセンターステートを選択す
る。センターステート選択手段１１２の動作の詳細は上
記第１及び第２の実施の形態と同一であるため省略す
る。センターステート選択手段１１２の結果、状態Ｅ３
１０５をセンターステートに選択する。

【００７８】図３４は図３１のＦＳＭに全ての状態から
センターステートに選択した状態Ｅ３１０５への遷移を
付加した結果のＦＳＭの状態組みの距離を求めた結果で
ある。

【００７９】距離の平均値は１．３６であり、従来の技
術では１．４１までしか短縮されなかった距離の平均値
が更に短縮されている。

【００８０】次に、本発明の第２の実施の形態について
説明する。該第２の実施の形態は、図１においてセンタ
ーステート候補選択手段１１１が、非同期リセット状態
と、非同期リセット状態から距離が近い状態と、他の状
態からの距離が近い状態をセンターステートの候補から
除外する場合である。

【００８１】非同期リセット状態からの距離の近遠を判
断する尺度として非同期リセット状態からの距離が近い
状態から順に指定された状態数を上限にセンターステー
トの候補から除外する尺度を用いる。除外する状態数の
指定には、状態数の指定、あるいは全状態数に対する割
合の指定、なとが考えられる。ここでは、非同期リセッ
ト状態に近い１状態を候補から除外する指定がされたと
する。

【００８２】他状態からの距離の遠近を判断する尺度に
は、非同期リセット状態からの距離の近遠を判断する尺
度と同一の尺度を用いも良いし、別の尺度を用いても良
い。ここでは他状態からの距離の遠近を判断する尺度と
して、除外すべき状態数が指定され、指定された状態数
を上限に、他の状態からの距離の合計が小さい状態から
順にセンターステートの候補から除外するとする。ここ
では、他状態に近い１状態を候補から除外する指定がさ
れたとする。

【００８３】本実施の形態の第一の効果は非同期リセッ
ト状態と非同期リセット状態から距離が近い状態と、他
の状態から距離が近い状態がセンターステートの候補か
ら除外されることであり、第二の効果はセンターステー
ト候補から除外する状態数が指定されているので、遠近
判断基準の閾値を計算する必要が無いことである。

【００８４】次に図面を用いて本実施の形態の動作を説
明する。図３６は記憶部１０１に保持されている論理合
成対象のＦＳＭの状態遷移グラフであるとする。図３７
は図３６のＦＳＭの状態の組の距離を求めた結果であ
る。ここで、３６０１〜３６０６はＦＳＭの状態であ
り、３６０７〜３６２２はＦＳＭの状態間の遷移であ
り、３６２３は非同期リセット遷移である。距離の平均
値は１．５２である。図３６のＦＳＭに従来の手法を適
用した場合は、状態Ｃ３６０３がセンターステートに選
択され、センターステートへの遷移を付加した結果、平
均距離は１．４１に短縮される。

【００８５】図３８は本発明の第２の実施の形態のセン
ターステート候補選択手段１１１の詳細な動作を表すフ
ローチャートである。全状態センターステート候補化処
理３８０１（以下、処理３８０１と呼ぶ）で全ての状態
をセンターステートの候補とする。非同期リセット状態
有無判断処理３８０２（以下、処理３８０２と呼ぶ）で
非同期リセット状態が無い場合は他状態からの距離算出
処理３８０８（以下、処理３８０８と呼ぶ）へ進み、非
同期リセット状態が有る場合には非同期リセット状態セ
ンターステート候補除外処理３８０３（以下、処理３８
０３と呼ぶ）に進む。この場合、非同期リセット状態が
あるので処理３８０３に進む。

【００８６】処理３８０３で非同期リセット状態をセン
ターステートの候補から除外する。この場合、状態Ａ３
６０１をセンターステートの候補から除外する。非同期
リセット状態からの距離算出処理３８０４（以下、処理
３８０４と呼ぶ）で非同期リセット状態からのセンター
ステート候補状態への距離を求める。図３７のＡ行が非
同期リセット状態からの距離を求めた結果である。除外
数初期化処理３８０５（以下、処理３８０５と呼ぶ）で
除外数を０にセットする。

【００８７】非同期リセット状態指定数除外判断処理３
８０６（以下、処理３８０６と呼ぶ）で指定された除外
する非同期リセット状態に近い状態数と除外数を比較
し、指定された数の状態をセンターステートの候補から
除外した場合は処理３８０８に進み、そうでない場合に
は非同期リセット状態に最も近いセンターステート候補
除外処理３８０７（以下、処理３８０７と呼ぶ）に進
む。この場合、指定された除外する非同期リセット状態
に近い状態数が１、除外数が０なので、処理３８０７に
進む。

【００８８】処理３８０７でセンターステート候補中、
最も非同期リセット状態からの距離の近い状態をセンタ
ーステートの候補から除外し、除外数に１を加える。こ
の場合、状態Ｂ３６０２が最も非同期リセット状態に近
いので、状態Ｂ３６０２をセンターステートの候補から
除外する。処理３８０６で指定された除外する非同期リ
セット状態に近い状態数と除外数を比較し、除外数が１
になっており、指定された状態数の除外が終了したの
で、処理３８０８に進む。処理３８０８で各センタース
テート候補状態の他状態からの距離の合計を算出する。
除外数再初期化処理３８０９（以下、処理３８０９と呼
ぶ）で除外数を０にセットする。

【００８９】他状態指定数除外判断処理３８１０（以
下、処理３８１０と呼ぶ）で指定された除外する他状態
に近い状態数と除外数を比較し、指定された数の状態を
センターステートの候補から除外した場合はセンタース
テート候補選択手段１１１を終了し、そうでない場合に
は他状態から最も近いセンターステート候補除外処理３
８１１（以下、処理３８１１と呼ぶ）に進む。この場
合、指定された状態数が１、除外数が０なので、処理３
８１１に進む。

【００９０】処理３８１１でセンターステート候補中、
最も他の状態からの距離の近い状態をセンターステート
の候補から除外し、除外数に１を加える。この場合、状
態Ｃ３６０３が最も他の状態に近いので、状態Ｃ３６０
３をセンターステートの候補から除外する。処理３８１
０で指定された除外する他状態に近い状態数と除外数を
比較し、指定された状態数の除外が終了したので、セン
ターステート候補選択手段１１１を終了する。センター
ステート候補選択手段１１１が終了した結果、センター
ステートの候補は状態Ｄ３６０４と状態Ｅ３６０５と状
態Ｆ３６０６となる。

【００９１】次にセンターステート選択手段１１２によ
り、センターステート候補選択手段１１１で選択された
候補からセンターステートを選択する。センターステー
ト選択手段１１２の動作の詳細は上記第１及び第２の実
施の形態と同一であるため省略する。センターステート
選択手段１１２の結果、状態Ｅ３８０５をセンターステ
ートに選択する。図３９は図３６のＦＳＭの全ての状態
からセンターステートに選択した状態Ｅ３６０５への遷
移を付加した結果のＦＳＭの全ての状態組みの距離を求
めた結果である。距離の平均値は１．３６であり、従来
の技術では１．４１までしか短縮されなかった距離の平
均値が更に短縮されている。

【００９２】

【発明の効果】以上説明した通り、本発明によれば、距
離を短縮する効果が少ない他の状態からの距離が近い状
態をセンターステートの候補から除外して、センタース
テートに選択しないため、他状態からの距離が近い状態
を持つＦＳＭに対しても他状態からの距離が近い状態を
センターステート候補から除外することによりテスト容
易性向上の効果の高いセンターステートを選択できる。

【図面の簡単な説明】

【図１】本発明の全体構成を示すブロック図である。

【図２】図１のシステムの動作を表すフローチャートで
ある。

【図３】論理合成対象の非同期リセット状態のあるＦＳ
Ｍの状態遷移グラフである。

【図４】センターステート候補選択手段１１１の詳細な
動作を表すフローチャートである。

【図５】図３の状態遷移グラフの状態間の距離の表であ
る。

【図６】センターステート選択手段１１２の詳細な動作
を表すフローチャートである。

【図７】センターステート候補状態間の距離の表であ
る。

【図８】センターステート選択処理の途中経過の表であ
る。

【図９】テスト容易化手段１０６適用後のＦＳＭの状態
遷移グラフである。

【図１０】図９の状態遷移グラフの状態間の距離の表で
ある。

【図１１】従来のテスト容易化論理合成システムの全体
構成を示すブロック図である。

【図１２】従来のテスト容易化論理合成システムの動作
を表すフローチャートである。

【図１３】非同期リセット状態の無いＦＳＭの状態遷移
表である。

【図１４】図１３のＦＳＭの状態遷移グラフである。

【図１５】図１４の状態遷移グラフの状態間の距離の表
である。

【図１６】図１５の状態間の距離の表に処理６０２から
処理６０３を適用した結果の表である。

【図１７】遷移付加手段１１３の動作を示すフローチャ
ートである。

【図１８】遷移付加手段１１３が終了したＦＳＭの状態
遷移表である。

【図１９】図１９のＦＳＭの状態遷移グラフである。

【図２０】図１８の状態遷移グラフの状態間の距離の表
である。

【図２１】論理付加手段１１４を用いる従来のテスト容
易化論理合成システムの動作を示すフローチャートであ
る。

【図２２】状態割り当て手段１０７の結果の順序回路を
示す図である。

【図２３】論理付加手段１１４の動作を示すフローチャ
ートである。

【図２４】図２２の順序回路に論理付加手段１１４を適
用した結果の順序回路を示す図である。

【図２５】図３のＦＳＭに状態割り当て手段１０７を適
用して得られた各状態に割り当てられた内部状態二値論
理値ベクトルを示す図である。

【図２６】図３のＦＳＭに状態割り当て手段１０７を適
用して得られた組合せ回路部分を表す２段論理を示す図
である。

【図２７】センターステートに割り当てられた内部状態
二値論理値ベクトルを生成するキューブを付加する論理
付加手段１１４の動作を示すフローチャートである。

【図２８】キューブを付加する論理付加手段１１４を図
２６の２段論理に適用した結果である。

【図２９】図３のＦＳＭの非同期リセット状態から他の
状態への距離を求めた結果である。

【図３０】図２の動作例とは異なる他の動作例を示すフ
ローチャートである。

【図３１】論理合成対象のＦＳＭの状態遷移グラフであ
る。

【図３２】図３１の状態遷移グラフの状態間の距離の表
である。

【図３３】図３１の状態遷移グラフの状態Ｃ３１０３を
センターステートとした場合の状態間の距離の表であ
る。

【図３４】図３１の状態遷移グラフの状態Ｅ３１０５を
センターステートとした場合の状態間の距離の表であ
る。

【図３５】本発明の第１の実施の形態のセンターステー
ト候補選択手段１１１の動作を表すフローチャートであ
る。

【図３６】論理合成対象のＦＳＭの状態遷移グラフであ
る。

【図３７】図３６の状態遷移グラフの状態間の距離の表
である。

【図３８】本発明の第２の実施の形態のセンターステー
ト候補選択手段１１１の動作を表すフローチャートであ
る。

【図３９】図３６のＦＳＭに全ての状態からセンタース
テートに選択した状態Ｅ３６０５への遷移を付加した結
果のＦＳＭの状態間の距離の表である。

【符号の説明】

１０１ 記憶部 １０２ ライブラリ入力手段 １０３ 回路入力手段 １０４ 制約条件入力手段 １０５ ＦＳＭ抽出手段 １０６ テスト容易化手段 １０７ 状態割り当て手段 １０８ 面積最適化手段 １０９ 遅延最適化手段 １１０ 回路出力手段 １１１ センターステート候補選択手段 １１２ センターステート選択手段 １１３ 遷移付加手段 １１４ 論理付加手段 ２０１ ライブラリ入力処理 ２０２ テクノロジライブラリ ２０３ 回路記述入力処理 ２０４ 回路記述 ２０５ 制約条件入力処理 ２０６ 制約条件 ２０７ ＦＳＭ抽出処理 ２０８ センターステート候補選択処理 ２０９ センターステート選択処理 ２１０ 遷移付加処理 ２１１ 状態割り当て処理 ２１２ 面積最適化処理 ２１３ 遅延最適化処理 ２１４ 回路出力処理 ２１５ ネットリスト ３０１〜３０６ ＦＳＭの状態 ３０７〜３２０ ＦＳＭの状態間の遷移 ３２１ 非同期リセット遷移 ４０１ 非同期リセット状態有無判断処理 ４０２ 全状態候補選択処理 ４０３ 遠近判断尺度閾値算出処理 ４０４ 非同期リセット状態からの距離算出処理 ４０５ センターステート候補初期化処理 ４０６ 非同期リセット状態除外処理 ４０７ 未選別状態有無判断処理 ４０８ 未選別状態抽出処理 ４０９ 遠近判断処理 ４１０ センターステート候補追加処理 ６０１ 状態間距離算出処理 ６０２ 自己距離リセット処理 ６０３ 距離合計算出処理 ６０４ センターステート決定処理 １１０１ 従来のテスト容易化論理合成システムのテ
スト容易化手段 １３０１〜１３１４ 遷移 １７０１ センターステート制御用外部入力端子付加
処理 １７０２ 遷移条件変更処理 １７０３ センターステートへの遷移付加処理 ２１０１ 論理付加処理 ２２０１ 組合せ回路 ２２０２〜２２０４ ＦＦ ２２０５〜２２０７ ＦＦの出力論理値 ２２０８〜２２１０ ＦＦのデータ入力論理 ２２１１ ＦＦのクロック ２２１２ 外部入力端子 ２２１３ 外部出力端子 ２３０１ センターステート制御用外部入力端子付加
処理 ２３０２ 未処理ＦＦ有無判断処理 ２３０３ 未処理ＦＦ抽出処理 ２３０４ 割り当て論理値判断処理 ２３０５ ＮＯＴ素子有無判断処理 ２３０６ ＮＯＴ素子付加処理 ２３０７ 二入力ＡＮＤ素子付加処理 ２３０８ 二入力ＯＲ素子付加処理 ２４０１ センターステート制御用外部入力端子 ２４０２ ＮＯＴ素子 ２４０３ 二入力ＡＮＤ素子 ２４０４ 二入力ＯＲ素子 ２４０５ 二入力ＡＮＤ素子 ２７０１ センターステート制御用外部入力端子付加
処理 ２７０２ センターステート二値論理値ベクトル生成
キューブ付加処理 ３５０１ 全状態センターステート候補化処理 ３５０２ 他状態遠近判断尺度閾値算出処理 ３５０３ 未選別状態有無判断処理 ３５０４ 未選別状態抽出処理 ３５０５ 他状態からの遠近判断処理 ３５０６ センターステート候補除外処理 ３８０１ 全状態センターステート候補化処理 ３８０２ 非同期リセット状態有無判断処理 ３８０３ 非同期リセット状態センターステート候補
除外処理 ３８０４ 非同期リセット状態からの距離算出処理 ３８０５ 除外数初期化処理 ３８０６ 非同期リセット状態指定数除外判断処理 ３８０７ 非同期リセット状態に最も近いセンタース
テート候補除外処理 ３８０８ 他状態からの距離算出処理 ３８０９ 除外数再初期化処理 ３８１０ 他状態指定数除外判断処理 ３８１１ 他状態から最も近いセンターステート候補
除外処理

Claims (2)

(57)【特許請求の範囲】
1. 【請求項１】 テクノロジマッピングに使用するテクノ
   ロジライブラリを読み込み記憶部に保持するライブラリ
   入力手段と、論理合成対象の回路記述を読み込み記憶部
   に保持する回路入力手段と、面積や遅延などの制約条件
   を読み込み記憶部に保持する制約条件入力手段と、記憶
   部に保持された回路がＦＳＭ以外の形式表現されている
   場合にＦＳＭを抽出するＦＳＭ抽出手段と、記憶部に保
   持されたＦＳＭで表現された回路のテスト容易性を向上
   するテスト容易化手段と、記憶部に保持されたＦＳＭで
   表現された回路の状態に二値論理値ベクトルを割り当て
   る状態割り当て手段と、記憶部に保持された回路の面積
   を最適化する面積最適化手段と、記憶部に保持された回
   路の遅延を最適化する遅延最適化手段と、記憶部に保持
   された論理合成結果の回路を出力する回路出力手段と、
   論理合成対象回路とテクノロジライブラリと制約条件を
   保持する記憶部を有するテスト考慮論理合成システムに
   おいて、特に、ＦＳＭを対象にＦＳＭのセンターステー
   トを用いて状態間の距離を短縮してテスト容易性を向上
   させるテスト容易化手段が、センターステートに選択し
   てもテスト容易性向上の効果が少ない他の状態から状態
   遷移によって遷移する場合に所定の閾値よりも距離が近
   い状態をセンターステートの候補から除外するセンター
   ステート候補選択手段を有することを特徴とするテスト
   容易化論理合成システム。
2. 【請求項２】 テクノロジマッピングに使用するテクノ
   ロジライブラリを読み込み記憶部に保持するライブラリ
   入力手段と、論理合成対象の回路記述を読み込み記憶部
   に保持する回路入力手段と、面積や遅延などの制約条件
   を読み込み記憶部に保持する制約条件入力手段と、記憶
   部に保持された回路がＦＳＭ以外の形式表現されている
   場合にＦＳＭを抽出するＦＳＭ抽出手段と、記憶部に保
   持されたＦＳＭで表現された回路のテスト容易性を向上
   するテスト容易化手段と、記憶部に保持されたＦＳＭで
   表現された回路の状態に二値論理値ベクトルを割り当て
   る状態割り当て手段と、記憶部に保持された回路の面積
   を最適化する面積最適化手段と、記憶部に保持された回
   路の遅延を最適化する遅延最適化手段と、記憶部に保持
   された論理合成結果の回路を出力する回路出力手段と、
   論理合成対象回路とテクノロジライブラリと制約条件を
   保持する記憶部を有するテスト考慮論理合成システムに
   おいて、特に、ＦＳＭを対象にＦＳＭのセンターステー
   トを用いて状態間の距離を短縮してテスト容易性を向上
   させるテスト容易化手段が、センターステートに選択し
   てもテスト容易性向上の効果が少ない他の状態から状態
   遷移によって遷移する場合に所定の閾値よりも距離が近
   い状態をセンターステートの候補から除外するセンター
   ステート候補選択手段を有し、他の状態から状態遷移に
   よって遷移する場合に所定の閾値よりも距離が近い状態
   を判断するのに所定の閾値を遠近尺度閾値算出工程によ
   って遠近判断することを特徴とするテスト容易化論理合
   成システム。