JP3255975B2 - 論理設計規約確認状況の自動管理装置 - Google Patents
論理設計規約確認状況の自動管理装置Info
- Publication number
- JP3255975B2 JP3255975B2 JP21589092A JP21589092A JP3255975B2 JP 3255975 B2 JP3255975 B2 JP 3255975B2 JP 21589092 A JP21589092 A JP 21589092A JP 21589092 A JP21589092 A JP 21589092A JP 3255975 B2 JP3255975 B2 JP 3255975B2
- Authority
- JP
- Japan
- Prior art keywords
- check
- management table
- status management
- items
- item
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Description
【０００１】
【産業上の利用分野】論理回路が様々な設計規約を遵守
して設計されているか否かを、実装設計や製造工程に入
る前に、コンピュータ・プログラムにより確認すること
は、論理装置の開発期間の短縮にとって必要不可欠なも
のになっている。近年、半導体技術の進歩に伴い、その
論理規模が増大し、テストを容易にするテスト容易化設
計規約を始め論理設計規約が非常に複雑化する傾向にあ
る。
して設計されているか否かを、実装設計や製造工程に入
る前に、コンピュータ・プログラムにより確認すること
は、論理装置の開発期間の短縮にとって必要不可欠なも
のになっている。近年、半導体技術の進歩に伴い、その
論理規模が増大し、テストを容易にするテスト容易化設
計規約を始め論理設計規約が非常に複雑化する傾向にあ
る。
【０００２】そして、この確認を行うにあたっては、膨
大な時間の論理シミュレーションの実施が必要とされて
いる。このため、チェック・プログラムの一回の実施で
は、何日もの経過時間を必要とし、共同利用を前提とし
た通常の計算機センターでの実施は困難なものになりつ
つある。このような状況から、論理設計が設計規約を遵
守してなされているか否かのチェックを行う場合には、
そのチェックを幾つかのチェック項目ごとに分割し、複
数回に分けて実施する必要がでてきている。
大な時間の論理シミュレーションの実施が必要とされて
いる。このため、チェック・プログラムの一回の実施で
は、何日もの経過時間を必要とし、共同利用を前提とし
た通常の計算機センターでの実施は困難なものになりつ
つある。このような状況から、論理設計が設計規約を遵
守してなされているか否かのチェックを行う場合には、
そのチェックを幾つかのチェック項目ごとに分割し、複
数回に分けて実施する必要がでてきている。
【０００３】本発明は、上記のような論理設計が設計規
約を遵守してなされているか否かをチェックするための
論理設計規約確認状況の自動管理装置に関し、特に、本
発明は論理設計規約の確認状況を自動的に管理すること
ができる論理設計規約確認状況自動管理装置に関するも
のである。
約を遵守してなされているか否かをチェックするための
論理設計規約確認状況の自動管理装置に関し、特に、本
発明は論理設計規約の確認状況を自動的に管理すること
ができる論理設計規約確認状況自動管理装置に関するも
のである。
【０００４】
【従来の技術】従来においては、半導体装置の論理規模
も小さく、また、その論理設計規約もさほど複雑ではな
かった。このため、論理設計が設計規約を遵守してなさ
れているか否かをチェックするためのチェック・プログ
ラムでは、全てのチェック項目を一度に実行するにも、
それ程の計算機時間を使う必要はなかった。
も小さく、また、その論理設計規約もさほど複雑ではな
かった。このため、論理設計が設計規約を遵守してなさ
れているか否かをチェックするためのチェック・プログ
ラムでは、全てのチェック項目を一度に実行するにも、
それ程の計算機時間を使う必要はなかった。
【０００５】しかしながら、近年においては、論理規模
が増大し論理設計規約が非常に複雑化する傾向にあり、
そのため、いくつかのチェック項目をひとまとめにし
て、何回かに分けてチェック・プログラムを実施する必
要がでてきている。このような状況下においては、どの
項目がチェック済であり、また、どの項目が未チェック
であるかを人手で管理する必要があり、一部のチェック
項目が未実施のままにされる危険性があった。また、所
定の時間内にどのチェック項目を実施するか人手で決め
なくてはならず、非常にわずらわしいものとなってい
た。
が増大し論理設計規約が非常に複雑化する傾向にあり、
そのため、いくつかのチェック項目をひとまとめにし
て、何回かに分けてチェック・プログラムを実施する必
要がでてきている。このような状況下においては、どの
項目がチェック済であり、また、どの項目が未チェック
であるかを人手で管理する必要があり、一部のチェック
項目が未実施のままにされる危険性があった。また、所
定の時間内にどのチェック項目を実施するか人手で決め
なくてはならず、非常にわずらわしいものとなってい
た。
【０００６】
【発明が解決しようとする課題】本発明は、上記した従
来技術の問題点に鑑みなされたものであって、論理設計
が設計規約を遵守してなされているか否かのチェック等
を所定の限られた時間を有効に利用して行うことができ
るとともに、そのチェックの実施状況を自動的に管理す
ることができる論理設計規約確認状況の自動管理装置
（以下、自動管理装置と略称する）を提供することを目
的とする。
来技術の問題点に鑑みなされたものであって、論理設計
が設計規約を遵守してなされているか否かのチェック等
を所定の限られた時間を有効に利用して行うことができ
るとともに、そのチェックの実施状況を自動的に管理す
ることができる論理設計規約確認状況の自動管理装置
（以下、自動管理装置と略称する）を提供することを目
的とする。
【０００７】
【課題を解決するための手段】図１は本発明の原理ブロ
ック図である。上記課題を解決するため、本発明の請求
項１の発明は、設計規約を遵守して論理回路が設計され
ているか否かのチェック状況を自動管理する論理設計規
約確認状況の自動管理装置において、論理設計が設計規
約を遵守してなされているかをチェックするチェック・
タスク３−１，…，３−ｎと、各チェック項目のチェッ
クを実施するに要する計算機時間を記憶させたチェック
状況管理テーブル１と、チェック状況管理テーブルをア
クセスするチェック項目自動組合せ手段２と、上記チェ
ック状況管理テーブル１のチェック済マークを参照して
全てのチェック項目が完了して、次工程に進んでよいか
を判定するチェック状況判定装置とを設け、チェック項
目自動組合せ手段２は、チェック状況管理テーブル１を
参照して指定された計算機利用時間内にチェックできる
チェック項目を自動的に選択し組み合わせ、上記チェッ
ク・タスク３−１，…，３−ｎにチェックを行わせ、上
記チェック・タスク３−１，…，３−ｎは、所定のチェ
ック項目のチェックを完了した際、上記チェック状況管
理テーブル１にチェック済マークを登録するようにした
ものである。
ック図である。上記課題を解決するため、本発明の請求
項１の発明は、設計規約を遵守して論理回路が設計され
ているか否かのチェック状況を自動管理する論理設計規
約確認状況の自動管理装置において、論理設計が設計規
約を遵守してなされているかをチェックするチェック・
タスク３−１，…，３−ｎと、各チェック項目のチェッ
クを実施するに要する計算機時間を記憶させたチェック
状況管理テーブル１と、チェック状況管理テーブルをア
クセスするチェック項目自動組合せ手段２と、上記チェ
ック状況管理テーブル１のチェック済マークを参照して
全てのチェック項目が完了して、次工程に進んでよいか
を判定するチェック状況判定装置とを設け、チェック項
目自動組合せ手段２は、チェック状況管理テーブル１を
参照して指定された計算機利用時間内にチェックできる
チェック項目を自動的に選択し組み合わせ、上記チェッ
ク・タスク３−１，…，３−ｎにチェックを行わせ、上
記チェック・タスク３−１，…，３−ｎは、所定のチェ
ック項目のチェックを完了した際、上記チェック状況管
理テーブル１にチェック済マークを登録するようにした
ものである。
【０００８】本発明の請求項２の発明は、請求項１の発
明において、上記チェック項目自動組合せ手段２がチェ
ック状況管理テーブル１をダイナミックにアクセスする
ことができ、複数のチェック・タスク３−１，…，３−
ｎが並列実行可能な状況下においても、上記チェック項
目自動組合せ設定手段２が、上記チェック状況管理テー
ブル１をダイナミックにアクセスすることにより、未チ
ェック項目、もしくは、他タスクでチェック予定に入っ
ていない項目を自動的に検出し、より短い経過時間内で
チェックを実施できるようにしたものである。
明において、上記チェック項目自動組合せ手段２がチェ
ック状況管理テーブル１をダイナミックにアクセスする
ことができ、複数のチェック・タスク３−１，…，３−
ｎが並列実行可能な状況下においても、上記チェック項
目自動組合せ設定手段２が、上記チェック状況管理テー
ブル１をダイナミックにアクセスすることにより、未チ
ェック項目、もしくは、他タスクでチェック予定に入っ
ていない項目を自動的に検出し、より短い経過時間内で
チェックを実施できるようにしたものである。
【０００９】本発明の請求項３の発明は、請求項１また
は請求項２の発明において、設計変更内容が入力された
とき、設計変更内容から再チェックの必要な項目を自動
的に判断し、上記チェック状況管理テーブルの該当する
チェック項目に再チェック要／不要マークを設定する再
チェック要項目検出／マーク設定手段を設け、上記設定
手段により、上記チェック状況管理テーブル２に、再チ
ェック要／不要マークを設定し、上記チェック・タスク
３−１，…，３−ｎは、上記チェック状況管理テーブル
１を参照することにより、再チェックの必要なチェック
項目について再チェックを行うようにしたものである。
は請求項２の発明において、設計変更内容が入力された
とき、設計変更内容から再チェックの必要な項目を自動
的に判断し、上記チェック状況管理テーブルの該当する
チェック項目に再チェック要／不要マークを設定する再
チェック要項目検出／マーク設定手段を設け、上記設定
手段により、上記チェック状況管理テーブル２に、再チ
ェック要／不要マークを設定し、上記チェック・タスク
３−１，…，３−ｎは、上記チェック状況管理テーブル
１を参照することにより、再チェックの必要なチェック
項目について再チェックを行うようにしたものである。
【００１０】
【作用】本発明の請求項１の発明においては、チェック
状況管理テーブル１を設け、チェック・タスク３−１，
…，３−ｎが所定のチェック項目のチェックを完了した
際、チェック状況管理テーブル１にチェック済マーク１
ｃを登録するようにしたので、どのチェック項目がチェ
ック済であるかを自動的に管理することができ、未チェ
ックの工程を持ちながら次の工程に入ることを防ぐこと
ができる。また、チェック状況管理テーブル１にチェッ
クを実施するに要する計算機時間１ｂを記憶させ、チェ
ック項目自動組合せ手段２により、指定された計算機利
用時間内にチェックできるチェック項目を自動的に選択
し組み合わせるようにしたので、与えられた所定時間内
に実施することができるチェック項目の組合わせを自動
的に選定することができる。
状況管理テーブル１を設け、チェック・タスク３−１，
…，３−ｎが所定のチェック項目のチェックを完了した
際、チェック状況管理テーブル１にチェック済マーク１
ｃを登録するようにしたので、どのチェック項目がチェ
ック済であるかを自動的に管理することができ、未チェ
ックの工程を持ちながら次の工程に入ることを防ぐこと
ができる。また、チェック状況管理テーブル１にチェッ
クを実施するに要する計算機時間１ｂを記憶させ、チェ
ック項目自動組合せ手段２により、指定された計算機利
用時間内にチェックできるチェック項目を自動的に選択
し組み合わせるようにしたので、与えられた所定時間内
に実施することができるチェック項目の組合わせを自動
的に選定することができる。
【００１１】本発明の請求項２の発明においては、チェ
ック項目自動組合せ手段２がチェック状況管理テーブル
１をダイナミックにアクセスすることができ、複数のチ
ェック・タスク３−１，…，３−ｎを並列実行可能とし
たので、短時間でチェックを行うことができる。本発明
の請求項３の発明においては、チェック状況管理テーブ
ル１にチェックの対象となる論理回路の設計変更に対し
て再チェックの必要なチェック項目を識別する識別記号
１ｄを記憶させたので、再チェックの必要なチェック項
目を自動的に管理することができる。
ック項目自動組合せ手段２がチェック状況管理テーブル
１をダイナミックにアクセスすることができ、複数のチ
ェック・タスク３−１，…，３−ｎを並列実行可能とし
たので、短時間でチェックを行うことができる。本発明
の請求項３の発明においては、チェック状況管理テーブ
ル１にチェックの対象となる論理回路の設計変更に対し
て再チェックの必要なチェック項目を識別する識別記号
１ｄを記憶させたので、再チェックの必要なチェック項
目を自動的に管理することができる。
【００１２】
【実施例】図２は本発明の１実施例であるシステム構成
を示す図であり、同図において、２１は端末、２２は入
出力装置、２３は論理設計が設計規約を遵守してなされ
ているか否かのチェックおよびその管理を自動的に行う
ための自動管理装置、２４は論理回路をシミュレーショ
ンするためのシミュレータ、２５はシミュレーションの
対象となる論理回路モデル、２７は上記自動管理を行う
ためのチェック状況管理テーブル２７ａおよびそのため
のプログラム等を格納した外部記憶装置、２６は論理設
計が設計規約を遵守してなされているか否かのチェック
を行うチェック・タスクを実行するプログラム等を格納
した外部記憶装置である。
を示す図であり、同図において、２１は端末、２２は入
出力装置、２３は論理設計が設計規約を遵守してなされ
ているか否かのチェックおよびその管理を自動的に行う
ための自動管理装置、２４は論理回路をシミュレーショ
ンするためのシミュレータ、２５はシミュレーションの
対象となる論理回路モデル、２７は上記自動管理を行う
ためのチェック状況管理テーブル２７ａおよびそのため
のプログラム等を格納した外部記憶装置、２６は論理設
計が設計規約を遵守してなされているか否かのチェック
を行うチェック・タスクを実行するプログラム等を格納
した外部記憶装置である。
【００１３】図３は図２に示す自動管理装置の１実施例
を示す図である。同図において、３１は図２の２７ａに
示したチェック状況管理テーブルであり、チェック項目
識別子、必要時間、チェック済マーク等のデータが書き
込まれており、チェック・タスクからの動的参照、書き
込みが可能である。３２はチェック項目自動組合せ合成
／状況設定装置であり、各チェック・タスクからの問い
合わせに対して、チェック項目の自動的に組合せ合成を
行い、チェック項目リストを提供する。また、そのチェ
ック予定項目をチェック状況管理テーブル３１に書き込
む。また、チェック項目自動組合せ合成／状況設定装置
３２は、チェック・タスクの並列実行可能な状況下にお
いても、ダイナミックにチェック状況管理テーブル３１
を参照し、未チェック項目を検出することができる。
を示す図である。同図において、３１は図２の２７ａに
示したチェック状況管理テーブルであり、チェック項目
識別子、必要時間、チェック済マーク等のデータが書き
込まれており、チェック・タスクからの動的参照、書き
込みが可能である。３２はチェック項目自動組合せ合成
／状況設定装置であり、各チェック・タスクからの問い
合わせに対して、チェック項目の自動的に組合せ合成を
行い、チェック項目リストを提供する。また、そのチェ
ック予定項目をチェック状況管理テーブル３１に書き込
む。また、チェック項目自動組合せ合成／状況設定装置
３２は、チェック・タスクの並列実行可能な状況下にお
いても、ダイナミックにチェック状況管理テーブル３１
を参照し、未チェック項目を検出することができる。
【００１４】３３はチェック状況判定装置であり、全て
のチェック項目が完了して、次の工程に進んでよいか否
かの判定をする。３４は再チェック要項目検出／マーク
設定装置であり、設計変更内容が与えられると、その内
容から再チェックの必要なチェック項目を自動的に判断
し、チェック状況管理テーブル３１に該当するマークを
設定する。
のチェック項目が完了して、次の工程に進んでよいか否
かの判定をする。３４は再チェック要項目検出／マーク
設定装置であり、設計変更内容が与えられると、その内
容から再チェックの必要なチェック項目を自動的に判断
し、チェック状況管理テーブル３１に該当するマークを
設定する。
【００１５】３３−１ないし３３−ｎは論理設計が設計
規約を遵守してなされているか否かのチェックを行うチ
ェック・タスクであり、各チェック・タスクは並列実行
することができる。次に図２，図３により本実施例の動
作を説明する。ユーザが論理設計が設計規約を遵守して
なされているか否かのチェックするため、図２の端末２
１より入出力装置２２を介して、チェックを行うために
与えられている制限時間を入力し、チェックの実行要求
を行うと、チェック・タスク３３−１ないし３３−ｎは
チェック項目自動組合せ合成／状況設定装置３２に対し
て所定時間内で実施可能なチェック項目の問い合わせを
行う。
規約を遵守してなされているか否かのチェックを行うチ
ェック・タスクであり、各チェック・タスクは並列実行
することができる。次に図２，図３により本実施例の動
作を説明する。ユーザが論理設計が設計規約を遵守して
なされているか否かのチェックするため、図２の端末２
１より入出力装置２２を介して、チェックを行うために
与えられている制限時間を入力し、チェックの実行要求
を行うと、チェック・タスク３３−１ないし３３−ｎは
チェック項目自動組合せ合成／状況設定装置３２に対し
て所定時間内で実施可能なチェック項目の問い合わせを
行う。
【００１６】チェック項目自動組合せ合成／状況設定装
置３２は各チェック・タスクからの問い合わせがある
と、チェック状況管理テーブル３１をダイナミックに参
照して、未チェックのチェック項目、他タスクでチェッ
ク予定にはいっていないチェック項目の内、与えられた
制限時間内に実施することができるチェック項目を判断
し、チェック項目ＬＩＳＴを作成して各チェック・タス
クに提供する。
置３２は各チェック・タスクからの問い合わせがある
と、チェック状況管理テーブル３１をダイナミックに参
照して、未チェックのチェック項目、他タスクでチェッ
ク予定にはいっていないチェック項目の内、与えられた
制限時間内に実施することができるチェック項目を判断
し、チェック項目ＬＩＳＴを作成して各チェック・タス
クに提供する。
【００１７】そして、そのチェック項目については、チ
ェック状況管理テーブル３１にチェック予定のマークを
設定する。また、各チェック・タスクから各チェック項
目のチェック結果を受け取り、それを、チェック状況管
理テーブル３１のチェック済マーク欄等に書き込む。図
４はチェック項目自動組合せ合成／状況設定装置３２に
おいて行われる、チェック項目自動組合せ合成処理の一
例を示すフローチャートであり、図４により、チェック
項目自動組合せ合成／状況設定装置３２における処理に
ついて説明する。
ェック状況管理テーブル３１にチェック予定のマークを
設定する。また、各チェック・タスクから各チェック項
目のチェック結果を受け取り、それを、チェック状況管
理テーブル３１のチェック済マーク欄等に書き込む。図
４はチェック項目自動組合せ合成／状況設定装置３２に
おいて行われる、チェック項目自動組合せ合成処理の一
例を示すフローチャートであり、図４により、チェック
項目自動組合せ合成／状況設定装置３２における処理に
ついて説明する。
【００１８】ステップＳ４１において、制限時間が指示
されると、ステップ４２において、必要累積時間の初期
化を行う。ステップＳ４３において、チェック状況管理
テーブル３１を参照して未チェック項目を選択する。未
チェック項目の選択アルゴリズムとしては、例えば、次
の方法を用いることができる。 単にチェック項目テ
ーブルの上からの順番により、未チェック項目を選択す
る。 チェック対象となる論理回路の論理規模をも考
慮し、チェック必要時間の短いものから順番に選択す
る。
されると、ステップ４２において、必要累積時間の初期
化を行う。ステップＳ４３において、チェック状況管理
テーブル３１を参照して未チェック項目を選択する。未
チェック項目の選択アルゴリズムとしては、例えば、次
の方法を用いることができる。 単にチェック項目テ
ーブルの上からの順番により、未チェック項目を選択す
る。 チェック対象となる論理回路の論理規模をも考
慮し、チェック必要時間の短いものから順番に選択す
る。
【００１９】ステップＳ４４において、チェック状況管
理テーブル３１の必要時間の欄を参照して、選択された
未チェック項目についてチェックに要する必要時間を積
算する。ステップＳ４５において、ステップＳ４４にお
いて積算された時間が与えられた制限時間内か否かを判
定する。そして、判定結果が制限時間内である場合には
ステップＳ４３に戻り上記処理を繰り返す。
理テーブル３１の必要時間の欄を参照して、選択された
未チェック項目についてチェックに要する必要時間を積
算する。ステップＳ４５において、ステップＳ４４にお
いて積算された時間が与えられた制限時間内か否かを判
定する。そして、判定結果が制限時間内である場合には
ステップＳ４３に戻り上記処理を繰り返す。
【００２０】また判定結果が制限時間内でない場合には
ステップ４６にいき、チェック状況管理テーブル３１の
チェック予定マーク欄にチェック予定マークをセットし
て終了する。チェック項目自動組合せ合成／状況設定装
置３２よりチェック項目ＬＩＳＴが与えられると、図３
のチェック・タスク３３−１ないし３３−ｎのうち、そ
のＬＩＳＴに登録されたチェック・タスクが起動され、
図２のシミュレータ２４がモデル２５のシミュレーショ
ンを行い、論理設計が設計規約を遵守してなされている
か否かのチェックが行われる。また、前記したように、
チェック・タスク３３−１ないし３３−ｎによるチェッ
ク結果はチェック項目自動組合せ合成／状況設定装置３
２に報告され、チェック状況管理テーブル３１のチェッ
ク済マーク欄に登録される。
ステップ４６にいき、チェック状況管理テーブル３１の
チェック予定マーク欄にチェック予定マークをセットし
て終了する。チェック項目自動組合せ合成／状況設定装
置３２よりチェック項目ＬＩＳＴが与えられると、図３
のチェック・タスク３３−１ないし３３−ｎのうち、そ
のＬＩＳＴに登録されたチェック・タスクが起動され、
図２のシミュレータ２４がモデル２５のシミュレーショ
ンを行い、論理設計が設計規約を遵守してなされている
か否かのチェックが行われる。また、前記したように、
チェック・タスク３３−１ないし３３−ｎによるチェッ
ク結果はチェック項目自動組合せ合成／状況設定装置３
２に報告され、チェック状況管理テーブル３１のチェッ
ク済マーク欄に登録される。
【００２１】一方、図３のチェック状況判定装置３３は
チェック状況管理テーブル３１のチェック済マーク欄を
参照して、全てのチェック項目が完了して、次工程に進
んでよいか否かの判定を行う。チェック状況判定装置３
３により、次工程に進むことが不適当と判定された場合
には、次工程の実行が禁止される。また、図３の再チェ
ック要項目検出／マーク設定装置３４は図２に示す端末
２１等から設計変更内容が入力されると、その設計変更
内容から、再チェックの必要な項目を自動的に判断し
て、チェック状況管理テーブル３１の該当するチェック
項目の再チェック要／不要マーク欄にマークを設定す
る。
チェック状況管理テーブル３１のチェック済マーク欄を
参照して、全てのチェック項目が完了して、次工程に進
んでよいか否かの判定を行う。チェック状況判定装置３
３により、次工程に進むことが不適当と判定された場合
には、次工程の実行が禁止される。また、図３の再チェ
ック要項目検出／マーク設定装置３４は図２に示す端末
２１等から設計変更内容が入力されると、その設計変更
内容から、再チェックの必要な項目を自動的に判断し
て、チェック状況管理テーブル３１の該当するチェック
項目の再チェック要／不要マーク欄にマークを設定す
る。
【００２２】図５は再チェック要項目検出／マーク設定
装置３４における再チェックの必要な項目を判断する処
理内容の一例を示すフローチャートである。ステップＳ
５１において、論理設計変更内容が特定されると、ステ
ップＳ５２において、論理設計変更タイプの識別処理を
行う。上記、論理設計変更タイプの識別処理において
は、例えば、その設計変更内容ついて、特定ゲートの
特定ピンとの接続関係、特定信号ネットとの接続関
係、特定論理回路との接続関係、特定信号パスとの
接続関係、等を見てその設計変更タイプを識別する。
装置３４における再チェックの必要な項目を判断する処
理内容の一例を示すフローチャートである。ステップＳ
５１において、論理設計変更内容が特定されると、ステ
ップＳ５２において、論理設計変更タイプの識別処理を
行う。上記、論理設計変更タイプの識別処理において
は、例えば、その設計変更内容ついて、特定ゲートの
特定ピンとの接続関係、特定信号ネットとの接続関
係、特定論理回路との接続関係、特定信号パスとの
接続関係、等を見てその設計変更タイプを識別する。
【００２３】ステップＳ５３において、ステップＳ５２
において識別された設計変更タイプが再チェック要の第
１の設計変更タイプか否かを判定して、そのタイプが第
１の設計変更タイプ場合には、ステップＳ５４に行き、
チェック状況管理テーブル３１の該当するチェック項目
の再チェック要／不要マーク欄に再チェック要マークを
設定し、終了する。
において識別された設計変更タイプが再チェック要の第
１の設計変更タイプか否かを判定して、そのタイプが第
１の設計変更タイプ場合には、ステップＳ５４に行き、
チェック状況管理テーブル３１の該当するチェック項目
の再チェック要／不要マーク欄に再チェック要マークを
設定し、終了する。
【００２４】上記処理をステップＳ６０まで繰り返して
第ｎの設計変更タイプまで判定し、ステップＳ５３から
ステップＳ５９において、いずれの設計変更タイプにも
属さない設計変更の場合にはステップＳ６１に行き、チ
ェック状況管理テーブル３１の全チェック項目に再チェ
ック要マークを設定して終了する。
第ｎの設計変更タイプまで判定し、ステップＳ５３から
ステップＳ５９において、いずれの設計変更タイプにも
属さない設計変更の場合にはステップＳ６１に行き、チ
ェック状況管理テーブル３１の全チェック項目に再チェ
ック要マークを設定して終了する。
【００２５】
【発明の効果】以上説明したことから明らかなように、
本発明においては、チェック状況管理テーブルを設け、
そのテーブルにチェック項目ごとに、チェックに要する
時間、チェック完了マーク、再チェック要マーク等を登
録し、チェック状況管理テーブルを参照して、チェック
状況を自動管理するようにしたので、次の効果を得るこ
とができる。 チェック状況管理テーブルを参照する
ことにより、どのチェック項目がチェック済であるか
を、人手を煩わせることなく自動的に管理することがで
きるので、未チェックの項目を持ちながら次の工程に入
ることを防止することができる。 所定時間内にチェ
ック可能なチェック項目を、人手によることなく、自動
的に判断することができ、計算機センター等を利用した
チェックなど、限られた時間内にチェックを行わなけれ
ばならない状況下においても、対応することができる。
チェック状況管理テーブルをダイナミックにアクセ
スできるようにすることにより、チェックを並行実施す
ることができ、短時間にチェックを行うことが可能とな
る。
本発明においては、チェック状況管理テーブルを設け、
そのテーブルにチェック項目ごとに、チェックに要する
時間、チェック完了マーク、再チェック要マーク等を登
録し、チェック状況管理テーブルを参照して、チェック
状況を自動管理するようにしたので、次の効果を得るこ
とができる。 チェック状況管理テーブルを参照する
ことにより、どのチェック項目がチェック済であるか
を、人手を煩わせることなく自動的に管理することがで
きるので、未チェックの項目を持ちながら次の工程に入
ることを防止することができる。 所定時間内にチェ
ック可能なチェック項目を、人手によることなく、自動
的に判断することができ、計算機センター等を利用した
チェックなど、限られた時間内にチェックを行わなけれ
ばならない状況下においても、対応することができる。
チェック状況管理テーブルをダイナミックにアクセ
スできるようにすることにより、チェックを並行実施す
ることができ、短時間にチェックを行うことが可能とな
る。
【図１】本発明の原理ブロック図である。
【図２】本発明の実施例のシステム構成を示す図であ
る。
る。
【図３】本発明の実施例を示す図である。
【図４】チェック項目自動組合せ合成処理のフローチャ
ートである。
ートである。
【図５】再チェック要項目検出処理のフローチャートで
ある。
ある。
１，３１ チェック状況管理テーブル ３２ チェック項目自動組合せ合成／状
況設定装置 ３３ チェック状況判定装置 ３４ 再チェック要項目検出／マーク設
定装置 ３−１〜３−ｎ，３３−１〜３３−ｎ チェック・タス
ク
況設定装置 ３３ チェック状況判定装置 ３４ 再チェック要項目検出／マーク設
定装置 ３−１〜３−ｎ，３３−１〜３３−ｎ チェック・タス
ク
フロントページの続き (56)参考文献 特開 昭63−317884（ＪＰ，Ａ) 特開 平４−85673（ＪＰ，Ａ) 特開 平４−153775（ＪＰ，Ａ) 特開 昭63−115273（ＪＰ，Ａ) 特開 平４−115362（ＪＰ，Ａ) 特開 平３−18776（ＪＰ，Ａ) 特開 平２−29867（ＪＰ，Ａ) 特開 昭62−97051（ＪＰ，Ａ) 実開 平２−9939（ＪＰ，Ｕ) (58)調査した分野(Int.Cl.7，ＤＢ名) G06F 17/50 662 G06F 17/50 672
Claims (3)
- 【請求項１】 設計規約を遵守して論理回路が設計され
ているか否かのチェック状況を自動管理する論理設計規
約確認状況の自動管理装置であって、 論理設計が設計規約を遵守してなされているかをチェッ
クするチェック・タスクと、 各チェック項目のチェックを実施するに要する計算機時
間を記憶させたチェック状況管理テーブルと、 チェック状況管理テーブルをアクセスするチェック項目
自動組合せ手段と、 上記チェック状況管理テーブルのチェック済マークを参
照して全てのチェック項目が完了して、次工程に進んで
よいかを判定するチェック状況判定装置とを設け、 チェック項目自動組合せ手段は、チェック状況管理テー
ブルを参照して指定された計算機利用時間内にチェック
できるチェック項目を自動的に選択し組み合わせ、上記
チェック・タスクにチェックを行わせ、 上記チェック・タスクは、所定のチェック項目のチェッ
クを完了した際、上記チェック状況管理テーブルにチェ
ック済マークを登録することを特徴とする論理設計規約
確認状況の自動管理装置。 - 【請求項２】 上記チェック項目自動組合せ手段はチェ
ック状況管理テーブルをダイナミックにアクセスするこ
とができ、 複数のチェック・タスクが並列実行可能な状況下におい
ても、上記チェック項目自動組合せ設定手段は、上記チ
ェック状況管理テーブルをダイナミックにアクセスする
ことにより、未チェック項目、もしくは、他タスクでチ
ェック予定に入っていない項目を自動的に検出し、より
短い経過時間内でチェックを実施できるようにしたこと
を特徴とする請求項１の論理設計規約確認状況の自動管
理装置。 - 【請求項３】 設計変更内容が入力されたとき、設計変
更内容から再チェックの必要な項目を自動的に判断し、
上記チェック状況管理テーブルの該当するチェック項目
に再チェック要／不要マークを設定する再チェック要項
目検出／マーク設定手段を設け、 上記設定手段により、上記チェック状況管理テーブル
に、再チェック要／不要マークを設定し、 上記チェック・タスクは、上記チェック状況管理テーブ
ルを参照することにより、再チェックの必要なチェック
項目について再チェックを行うことを特徴とする請求項
１または請求項２の論理設計規約確認状況の自動管理装
置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP21589092A JP3255975B2 (ja) | 1992-08-13 | 1992-08-13 | 論理設計規約確認状況の自動管理装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP21589092A JP3255975B2 (ja) | 1992-08-13 | 1992-08-13 | 論理設計規約確認状況の自動管理装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH0660146A JPH0660146A (ja) | 1994-03-04 |
| JP3255975B2 true JP3255975B2 (ja) | 2002-02-12 |
Family
ID=16679959
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP21589092A Expired - Fee Related JP3255975B2 (ja) | 1992-08-13 | 1992-08-13 | 論理設計規約確認状況の自動管理装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3255975B2 (ja) |
-
1992
- 1992-08-13 JP JP21589092A patent/JP3255975B2/ja not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JPH0660146A (ja) | 1994-03-04 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5437007A (en) | Control sequencer in an iconic programming system | |
| US5068812A (en) | Event-controlled LCC stimulation | |
| US6182245B1 (en) | Software test case client/server system and method | |
| WO2003034210A1 (en) | Limited time evaluation system for firmware | |
| TWI706252B (zh) | 程式設計題目發佈、解答代碼發佈、解答代碼檢驗方法、裝置、系統及電腦設備 | |
| CN107729246A (zh) | 针对目标应用的辅助测试方法、装置、设备及存储介质 | |
| US20050204345A1 (en) | Method and apparatus for monitoring computer software | |
| CN109815083B (zh) | 一种应用崩溃的监控方法、装置、电子设备及介质 | |
| US7673288B1 (en) | Bypassing execution of a software test using a file cache | |
| Furuyama et al. | Fault generation model and mental stress effect analysis | |
| CN108334521B (zh) | 一种数据库容量预测方法及装置 | |
| JP2017045217A (ja) | ログ管理装置、ログ管理方法、およびログ管理プログラム | |
| JP3255975B2 (ja) | 論理設計規約確認状況の自動管理装置 | |
| CN114579470A (zh) | 一种单元测试方法、装置、电子设备及存储介质 | |
| US20030046641A1 (en) | Representing a simulation model using a hardware configuration database | |
| CN116112377B (zh) | 接口模拟方法、装置、设备及存储介质 | |
| JPH0973407A (ja) | データ管理装置 | |
| CN112948480B (zh) | 数据抽取方法、装置、电子设备及存储介质 | |
| Tyszberowicz et al. | OBSERV-a prototyping language and environment combining object oriented approach, state machines and logic programming | |
| US20020143748A1 (en) | Method and system for providing a generic scalar function | |
| US20050288913A1 (en) | Circuit design simulation | |
| JP2990159B1 (ja) | デバッガにおけるイベントの管理装置および方法 | |
| JPH0429425Y2 (ja) | ||
| CN117074906A (zh) | 一种集成电路的测试方法、测试装置和存储介质 | |
| JPS59117660A (ja) | シミユレ−シヨン状態復元処理方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20010807 |
|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20011120 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20081130 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20081130 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091130 Year of fee payment: 8 |
|
| LAPS | Cancellation because of no payment of annual fees |