JPH04359376A - 論理検証方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は設計した論理回路の動作
をコンピュータで模擬し、期待している動作が実現され
るか否かを知るために行われる論理検証方法に関する。

【０００２】

【従来の技術】論理検証方法には、従来与えられた論理
回路を構成する素子間の接続情報（以下ネットリストと
いう）を変更することなく論理検証を行う方法の外に、
高速化のため複数の素子及び配線をグループ化し、素子
数，配線数を減少させた後論理検証を行う方法がある。

【０００３】図５は素子，配線のグループ化を行った後
、論理検証を行う方法の処理手順を示すフローチャート
である。先ず論理回路を構成する素子，配線のグループ
化、即ち論理回路中の定めた領域に含まれる素子，配線
等を全体として一つの別の素子と想定するグループ化を
行うと共に、これに伴って接続情報が変化するためネッ
トリストの変更を行う（ステップＴ１）　。次にこのグ
ループ化された領域の真理値関数、換言すればその変数
と関数値との関係である真理値表を作成する　（ステッ
プＴ２）　。

【０００４】別途用意した論理検証用のテストパターン
と、グループ化に伴う変更処理を施したネットリスト及
び真理値表に基づいて論理シミュレーションを行う。即
ち各配線について信号値の変化があるか否かを判断し　
（ステップＴ３）　、変化がなければ論理シミュレーシ
ョンを終了し、また変化がある場合はその変化した信号
が入力される素子の評価、換言すれば当該素子について
他の入力信号を入力してそのときの出力信号を求める　
（ステップＴ４）　。そして当該素子の出力端子の信号
値の変化を例えばタイムホイールに登録する　（ステッ
プＴ５）　。

【０００５】

【発明が解決しようとする課題】ところで上述した如き
従来の論理検証方法にあっては、検証対象である回路の
グループ化を行うと、このグループ化に伴う接続情報の
変化を論理検証に用いるネットリストに反映しておくた
めネットリストを必然的に変更しなければならないが、
これに加えてグループ化した部分の論理回路の真理値表
を作成することが必要となるため、これらの処理に多大
の時間を要しグループ化が論理検証の高速化に十分寄与
し得ないという問題があった。本発明はかかる事情に鑑
みなされたものであって、その目的とするところはグル
ープ化に伴う真理値関数の作成の手間を大幅に削減可能
とし、検証対象回路のグループ化により論理検証の高速
化を図れるようにした論理検証方法を提供するにある。

【０００６】

【課題を解決するための手段】本発明に係る論理検証方
法は、検証対象論理回路におけるグループ化した部分の
接続情報をネットリストに付加する手段と、グループ化
した回路領域の真理値関数、即ち変数と関数値との関係
を論理シミュレーション中に必要に応じて求める手段と
を具備する。

【０００７】

【作用】本発明にあってはこれによって、グループ化に
伴って変化した接続情報をネットリストに付加し、論理
検証時にグループ化した論理回路部分に信号が伝播され
たとき、グループ化した回路の真理値関数が定義されて
いるか否かを検索し、真理値関数が定義されていない場
合にのみ、真理値関数を作成することで真理値関数の作
成回路を削減し得て作成に要する時間の短縮が可能とな
る。

【０００８】

【実施例】以下本発明をその実施例を示す図面に基づき
具体的に説明する。図１は本発明に係る論理検証方法を
実施する装置の構成を示すブロック図であり、図中１は
中央処理部、２はテストパターン入力部、３は表示部、
４はネットリスト記憶部、５は真理値表記憶部を示して
いる。

【０００９】中央処理部１は検証対象論理回路について
グループ化を行い、このグループ化に伴う接続情報の変
化をネットリスト記憶部４から読み出したネットリスト
に追加する前処理を行った後、この接続情報を追加した
ネットリストとテストパターン入力部２から読み込んだ
テストパターン及び真理値表記憶部５に記憶してある真
理値関数、即ち真理値関数の変数と関数値との関係、具
体的には真理値表に基づいて、論理シミュレーションを
実行し、その結果を表示部３へ表示するようになってい
る。

【００１０】真理値表記憶部５にはグループ化する前に
作成されている真理値表が格納されており、グループ化
後、最初に論理シミュレーションを実行する際にはグル
ープ化した回路領域についての真理値表は未だ作成され
ておらず、従って当然格納もされてもされていない。そ
して、論理シミュレーションを進めてゆく過程でグルー
プ化した回路領域についての真理値表が必要となったと
き初めて真理値表を作成し、真理値表記憶部５へ格納す
ることとなる。

【００１１】以下具体的な処理手順を図２に示すフロー
チャートに従って説明する。先ず検証対象論理回路のグ
ループ化処理を行う（ステップＳ１）　。このグループ
化処理はネットリストをネットリスト記憶部４から読み
込み、入力端子数が可及的に少なくなるよう素子，配線
を組合せた回路領域を定め、この回路領域をグループ化
し、この回路領域を１つの素子となるよう処理を施し、
グループ化した回路領域に対する入力端子，出力端子夫
々に対応する配線が、グループ化した回路領域に対する
入力端子，出力端子であることを表す情報をネットリス
トに付加しておく。

【００１２】これを具体的に示したのが図３，図４であ
る。図３はグループ化する前の検証対象論理回路の説明
図、図４はグループ化した後の検証対象論理回路の説明
図であり、図３に示す回路図中、インバータ２１，２２
　、アンドゲート２３，２４　及び配線２５，２６　〜
３０等を含む回路領域　（破線で囲った回路領域２０）
　についてグループ化し、これを一つの素子とする処理
を施し、回路領域２０に対する入力端子としての配線２
５，２８　、また出力端子としての配線３０に関しての
情報をネットリストに付加しておく　（ステップＳ１）
　。

【００１３】次にテストパターン入力部２から取り込ん
だテストパターン、前記情報を付加したネットリスト及
び予め作成してある真理値表を基にして論理シミュレー
ションを開始する。そしてこの論理シミュレーションの
過程で回路領域２０の各配線２５〜３０の信号値に変化
があるか否かを判断したとき（ステップＳ２）　、いず
れの配線２５〜３０の信号値にも変化がない場合にはこ
の回路領域２０についての論理検証を終了し、またいず
れかの配線２５〜３０の信号値が変化した場合には信号
の変化があった配線が回路領域２０に対する入力端子か
否かを判断する　（ステップＳ３）　。

【００１４】回路領域の入力端子でない場合は変化した
信号が接続されている素子の評価を行い　（ステップＳ
４）　、素子の出力端子の信号値の変化を、例えばタイ
ムホイールに登録し　（ステップＳ５）　、ステップＳ
２に戻る。また回路領域２０の入力端子である場合は真
理値表が定義されているか否かを判断する　（ステップ
Ｓ６）　。

【００１５】ステップＳ６における真理値表が定義され
ているか否かの判断において、定義されている場合には
、その真理値表に定義されている出力値の変化をグルー
プの出力端子となる配線３０の信号値の変化として登録
し（ステップＳ９）　、またステップＳ６の判断におい
て真理値表に定義されていない場合には一の入力端子で
あるその配線の論理値を　■１”、他の入力端子となる
配線の論理値を　■０”　の如くに信号を組み合わせて
入力し、回路領域２０の出力端子となる配線３０の信号
値の変化を求める論理シミュレーションを実行し　（ス
テップＳ７）　、求めた配線３０の信号値に基づき新た
な真理値表を定義し　（ステップＳ８）　、回路領域２
０の出力端子である配線３０の信号値の変化としてタイ
ムホイールに登録する　（ステップＳ９）　。再びステ
ップＳ２に戻って信号値の変化がなくなるまで前述した
過程を反復し、論理シミュレーションを実行する。

【００１６】

【発明の効果】以上の如く本発明方法にあってはグルー
プ化に伴って変化した接続情報をネットリストに付加す
る前処理を行った後、このネットリスト及び既に定義し
てある真理値関数に基づいて論理検証を実行し、グルー
プ化した領域の論理検証に際してその領域の真理値関数
が定義されているか否かを判断し、定義されていない場
合のみ真理値関数を作成すればよく、グループ化に伴う
真理値関数の作成回数が減少し、作成に要する時間が短
縮出来て、高速で論理検証を行うことが可能となるなど
本発明は優れた効果を奏するものである。

【図面の簡単な説明】

【図１】本発明方法の実施に用いる論理検証装置の構成
を示すブロック図である。

【図２】論理検証手順を示すフローチャートである。

【図３】検証対象論理回路のグループ化前の説明図であ
る。

【図４】グループ化した後の検証対象論理回路の説明図
である。

【図５】従来方法における論理検証手順を示すフローチ
ャートである。

【符号の説明】

１　　中央処理部 ２　　テストパターン入力部 ３　　表示部 ４　　ネットリスト記憶部 ５　　真理値表記憶部

Claims (1)

【特許請求の範囲】
1. 【請求項１】　　検証対象の論理回路を構成する素子及
   び配線の一部を含む回路領域をグループ化し、グループ
   化した後の論理回路のネットリストと真理値関数の変数
   ，関数値の関係とに基づいて論理検証を行う方法におい
   て、回路領域のグループ化に伴って変化した接続情報を
   ネットリストに付加し、この付加を行ったネットリスト
   及び予め作成してある真理値関数の変数，関数値の関係
   とに基づいて論理検証を行い、グループ化した回路領域
   を論理検証する際、その部分の真理値関数の変数と関数
   値との関係が定義されているか否かを判断し、定義され
   ていない場合にのみ真理値関数の変数と関数値との関係
   の定義を行うことを特徴とする論理検証方法。