JPH05151305A - 論理検証装置 - Google Patents
論理検証装置Info
- Publication number
- JPH05151305A JPH05151305A JP3315921A JP31592191A JPH05151305A JP H05151305 A JPH05151305 A JP H05151305A JP 3315921 A JP3315921 A JP 3315921A JP 31592191 A JP31592191 A JP 31592191A JP H05151305 A JPH05151305 A JP H05151305A
- Authority
- JP
- Japan
- Prior art keywords
- signal
- state value
- change
- time
- information
- 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.)
- Withdrawn
Links
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】
【目的】 論理回路の検証時間の短縮をはかる。
【構成】 シミュレーション手段１は論理回路情報４を
入力してシミュレーションを行う。次に、状態値変化記
憶手段２は信号の状態値が変化すると信号の変化点情報
５を作成する。ここで、状態値変更手段３はシミュレー
ション時刻を戻す要求があった場合、保持していた信号
の変化点情報５を順に遡って信号を変化前の状態値に戻
す。これにより、最初の入力パタンから論理検証をやり
直すことなく途中から再開することができ、検証時間が
短縮できる。
入力してシミュレーションを行う。次に、状態値変化記
憶手段２は信号の状態値が変化すると信号の変化点情報
５を作成する。ここで、状態値変更手段３はシミュレー
ション時刻を戻す要求があった場合、保持していた信号
の変化点情報５を順に遡って信号を変化前の状態値に戻
す。これにより、最初の入力パタンから論理検証をやり
直すことなく途中から再開することができ、検証時間が
短縮できる。
Description
【０００１】
【産業上の利用分野】本発明は論理検証装置に関し、特
に論理回路を対話形式により検証する論理検証装置に関
する。
に論理回路を対話形式により検証する論理検証装置に関
する。
【０００２】
【従来の技術】従来の論理検証装置は、論理回路を対話
形式により検証する場合、入力パタンの設定ミスに気付
いても、設定ミスの箇所からの検証が行えず、最初の入
力パタンから検証をやり直していた。
形式により検証する場合、入力パタンの設定ミスに気付
いても、設定ミスの箇所からの検証が行えず、最初の入
力パタンから検証をやり直していた。
【０００３】なお、関連文献として、例えば、可児賢二
他，「超ＬＳＩ ＣＡＤの基礎」，第４章 論理回路の
基礎，オーム社（１９８３年）がある。
他，「超ＬＳＩ ＣＡＤの基礎」，第４章 論理回路の
基礎，オーム社（１９８３年）がある。
【０００４】
【発明が解決しようとする課題】上述した従来の論理検
証装置では、論理検証の際に入力パタンの設定ミスがあ
った場合や、設定した入力パタンを途中で変更したい場
合には、最初の入力パタンから検証をやり直すため、短
時間に検証できないという欠点がある。
証装置では、論理検証の際に入力パタンの設定ミスがあ
った場合や、設定した入力パタンを途中で変更したい場
合には、最初の入力パタンから検証をやり直すため、短
時間に検証できないという欠点がある。
【０００５】
【課題を解決するための手段】本発明の論理検証装置
は、論理回路情報を入力して論理回路のシミュレーショ
ンを行うシミュレーション手段と、前記論理回路の信号
の状態値が変化すると前記信号の変化点情報を作成する
状態値変化記憶手段と、シミュレーション時刻を戻す要
求があった場合、前記信号の変化点情報に基づいて前記
論理回路の信号を変化前の状態値に戻す状態値変更手段
とを備えている。
は、論理回路情報を入力して論理回路のシミュレーショ
ンを行うシミュレーション手段と、前記論理回路の信号
の状態値が変化すると前記信号の変化点情報を作成する
状態値変化記憶手段と、シミュレーション時刻を戻す要
求があった場合、前記信号の変化点情報に基づいて前記
論理回路の信号を変化前の状態値に戻す状態値変更手段
とを備えている。
【０００６】
【実施例】次に、本発明について図面を参照して説明す
る。
る。
【０００７】図１は本発明の一実施例を示すブロック図
である。本実施例の論理検証装置は、図１に示すよう
に、シミュレーション手段１，状態値変化記憶手段２，
状態値変更手段３，論理回路情報４及び変化点情報５と
からなっている。
である。本実施例の論理検証装置は、図１に示すよう
に、シミュレーション手段１，状態値変化記憶手段２，
状態値変更手段３，論理回路情報４及び変化点情報５と
からなっている。
【０００８】続いて、本実施例の動作について説明す
る。
る。
【０００９】まず、シミュレーション手段１は論理回路
情報４を入力して論理シミュレーションを行う。そし
て、状態値変化記憶手段２は論理シミュレーションを行
っているときに論理回路の信号の状態値に変化がある
と、変化時刻，変化した信号及び変化前の状態値を変化
点の情報として変化点情報５を作成し保持する。そし
て、状態変更手段３はシミュレーション時刻を戻す要求
があった場合、指定された時刻まで変化点情報を順に遡
り、保持されている変化した信号の状態値を変化前の信
号状態値に変更し、かつ使用した変化点の情報を変化点
情報５より削除する。これにより、シミュレーション手
段１により論理シミュレーションを戻した時刻から再開
することが可能となる。
情報４を入力して論理シミュレーションを行う。そし
て、状態値変化記憶手段２は論理シミュレーションを行
っているときに論理回路の信号の状態値に変化がある
と、変化時刻，変化した信号及び変化前の状態値を変化
点の情報として変化点情報５を作成し保持する。そし
て、状態変更手段３はシミュレーション時刻を戻す要求
があった場合、指定された時刻まで変化点情報を順に遡
り、保持されている変化した信号の状態値を変化前の信
号状態値に変更し、かつ使用した変化点の情報を変化点
情報５より削除する。これにより、シミュレーション手
段１により論理シミュレーションを戻した時刻から再開
することが可能となる。
【００１０】図２は図１の論理回路情報４のイメージ及
びシミュレーション手段１の実行時の状態値変化のイメ
ージをそれぞれ示す図である。
びシミュレーション手段１の実行時の状態値変化のイメ
ージをそれぞれ示す図である。
【００１１】ここで、論理回路情報６には信号Ａ，信号
Ｂを入力し信号Ｄを出力とする論理素子Ｆと、信号Ｃ，
信号Ｄを入力し信号Ｅを出力とする論理素子Ｇとからな
る論理回路が表現されている。また、状態値表示７には
論理回路情報６を用いてシミュレーション手段１を行っ
た場合の時刻０かろ時刻３までの信号Ａ，信号Ｂ，信号
Ｃ，信号Ｄ，及び信号Ｅの状態値をそれぞれ示してい
る。
Ｂを入力し信号Ｄを出力とする論理素子Ｆと、信号Ｃ，
信号Ｄを入力し信号Ｅを出力とする論理素子Ｇとからな
る論理回路が表現されている。また、状態値表示７には
論理回路情報６を用いてシミュレーション手段１を行っ
た場合の時刻０かろ時刻３までの信号Ａ，信号Ｂ，信号
Ｃ，信号Ｄ，及び信号Ｅの状態値をそれぞれ示してい
る。
【００１２】図３は図１の状態値変化記憶手段２及び状
態値変更手段３により作成された変化点の情報をそれぞ
れ表現している。
態値変更手段３により作成された変化点の情報をそれぞ
れ表現している。
【００１３】ここで、変化点情報８は、変化時刻１のと
きに、信号Ａが０から変化し、かつ信号Ｂが０から変化
し、かつ信号Ｄが０から変化したという情報と、変化時
刻２のときに、信号Ａが１から変化し、かつ信号Ｄが１
から変化したという情報と、変化時刻が３のときに、信
号Ｃが０から変化したという情報とを保持している。ま
た、変化点情報９は、変化時刻が１のときに、信号Ａが
０から変化し、かつ信号Ｂが０から変化し、かつ信号Ｄ
が０から変化したという情報のみを保持している。すな
わち、時刻が１のときまでの変化点の情報を保持してい
る。
きに、信号Ａが０から変化し、かつ信号Ｂが０から変化
し、かつ信号Ｄが０から変化したという情報と、変化時
刻２のときに、信号Ａが１から変化し、かつ信号Ｄが１
から変化したという情報と、変化時刻が３のときに、信
号Ｃが０から変化したという情報とを保持している。ま
た、変化点情報９は、変化時刻が１のときに、信号Ａが
０から変化し、かつ信号Ｂが０から変化し、かつ信号Ｄ
が０から変化したという情報のみを保持している。すな
わち、時刻が１のときまでの変化点の情報を保持してい
る。
【００１４】そして、１時刻において状態値変化記憶手
段２は、信号Ａ，信号Ｂ，信号Ｄの状態値に変化があっ
たことより、変化時刻と信号Ａ，信号Ｂ及び信号Ｄの変
化前の状態値とを変化点の情報として変化点情報８に出
力する。また、２時刻において状態値変化記憶手段２
は、信号Ａ，信号Ｄの状態値に変化があったことによ
り、変化時刻と信号Ａ，信号Ｄの変化前の状態値を変化
点の情報として変化点情報８に出色する。次に、３時刻
において状態値変化記憶手段２は、信号Ｃの状態値に変
化があったことにより、変化時刻と信号Ａ，信号Ｄの変
化前の状態値を変化点の情報として、変化点情報８に出
力する。
段２は、信号Ａ，信号Ｂ，信号Ｄの状態値に変化があっ
たことより、変化時刻と信号Ａ，信号Ｂ及び信号Ｄの変
化前の状態値とを変化点の情報として変化点情報８に出
力する。また、２時刻において状態値変化記憶手段２
は、信号Ａ，信号Ｄの状態値に変化があったことによ
り、変化時刻と信号Ａ，信号Ｄの変化前の状態値を変化
点の情報として変化点情報８に出色する。次に、３時刻
において状態値変化記憶手段２は、信号Ｃの状態値に変
化があったことにより、変化時刻と信号Ａ，信号Ｄの変
化前の状態値を変化点の情報として、変化点情報８に出
力する。
【００１５】ここで、時刻を２つ戻したいという要求が
あった場合、状態値変更手段３は変化点情報８を下から
順に遡って状態値を変更する。すなわち、変化時刻が３
の時に変化した信号Ｃの元の状態値が０であったことが
変化点情報８に保持されているので、信号Ｃの状態値を
０にし、かつ時刻を１戻し、かつ使用した変化時刻が３
の時の変化点の情報を削除する。同様にして、変化時刻
が２の時に変化した信号Ａの元の状態値が１であり、変
化した信号Ｄの元の状態値が１であったことが変化点情
報８として保持されているので、信号Ａの状態値を１に
し、かつ信号Ｄの状態値を１にし、かつ時刻を１戻し、
かつ使用した変化時刻３の時の変化点の情報を削除す
る。
あった場合、状態値変更手段３は変化点情報８を下から
順に遡って状態値を変更する。すなわち、変化時刻が３
の時に変化した信号Ｃの元の状態値が０であったことが
変化点情報８に保持されているので、信号Ｃの状態値を
０にし、かつ時刻を１戻し、かつ使用した変化時刻が３
の時の変化点の情報を削除する。同様にして、変化時刻
が２の時に変化した信号Ａの元の状態値が１であり、変
化した信号Ｄの元の状態値が１であったことが変化点情
報８として保持されているので、信号Ａの状態値を１に
し、かつ信号Ｄの状態値を１にし、かつ時刻を１戻し、
かつ使用した変化時刻３の時の変化点の情報を削除す
る。
【００１６】この結果、時刻が１時刻になり、信号Ａが
１，信号Ｃが０，信号Ｄが１にそれぞれ変更されてお
り、また、変化点情報８が変化点情報９で示される状態
になっていることにより、シミュレーション手段１が１
時刻からのシミュレーションを再開することが可能とな
る。
１，信号Ｃが０，信号Ｄが１にそれぞれ変更されてお
り、また、変化点情報８が変化点情報９で示される状態
になっていることにより、シミュレーション手段１が１
時刻からのシミュレーションを再開することが可能とな
る。
【００１７】
【発明の効果】以上説明したように、本発明の論理検証
装置は、論理検証の際に入力パタンの設定ミスがあった
場合や、設定した入力パタンを途中で変更したい場合に
は、保持していた変化点情報を順に遡って信号を変化前
の状態値に戻すため、最初の入力パタンから検証をやり
直すことなく途中から再開することが可能となり、論理
検証が短時間で済むという効果がある。
装置は、論理検証の際に入力パタンの設定ミスがあった
場合や、設定した入力パタンを途中で変更したい場合に
は、保持していた変化点情報を順に遡って信号を変化前
の状態値に戻すため、最初の入力パタンから検証をやり
直すことなく途中から再開することが可能となり、論理
検証が短時間で済むという効果がある。
【図１】本発明の一実施例を示すブロック図である。
【図２】図１の論理回路情報４のイメージ及びシミュレ
ーション手段１による実行時の状態値変化のイメージを
それぞれ示す図である。
ーション手段１による実行時の状態値変化のイメージを
それぞれ示す図である。
【図３】図１の状態値変化記憶手段２及び状態値変化手
段３により作成された変化点の情報をそれぞれ示す図で
ある。
段３により作成された変化点の情報をそれぞれ示す図で
ある。
１ シミュレーション手段 ２ 状態値変化記憶手段 ３ 状態値変化手段 ４，６ 論理回路情報 ５ 変化点情報 ７ 状態値表示 ８，９ 変化点情報 Ａ〜Ｆ 信号 Ｆ，Ｇ 論理素子
Claims (1)
- 【請求項１】 論理回路情報を入力して論理回路のシミ
ュレーションを行うシミュレーション手段と、前記論理
回路の信号の状態値が変化すると前記信号の変化点情報
を作成する状態値変化記憶手段と、シミュレーション時
刻を戻す要求があった場合、前記信号の変化点情報に基
づいて前記論理回路の信号を変化前の状態値に戻す状態
値変更手段とを備えることを特徴とする論理検証装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3315921A JPH05151305A (ja) | 1991-11-29 | 1991-11-29 | 論理検証装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3315921A JPH05151305A (ja) | 1991-11-29 | 1991-11-29 | 論理検証装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH05151305A true JPH05151305A (ja) | 1993-06-18 |
Family
ID=18071210
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3315921A Withdrawn JPH05151305A (ja) | 1991-11-29 | 1991-11-29 | 論理検証装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH05151305A (ja) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008027037A (ja) * | 2006-07-19 | 2008-02-07 | Howa Mach Ltd | 工程シミュレータ |
| JP2010218229A (ja) * | 2009-03-17 | 2010-09-30 | Nec Corp | 論理シミュレーションシステム、論理シミュレーション方法及び論理シミュレーションプログラム |
| KR101044169B1 (ko) * | 2003-01-23 | 2011-06-24 | 퀵턴 디자인 시스템즈, 인크. | 회로 설계 기능 검증 방법 및 장치 |
-
1991
- 1991-11-29 JP JP3315921A patent/JPH05151305A/ja not_active Withdrawn
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR101044169B1 (ko) * | 2003-01-23 | 2011-06-24 | 퀵턴 디자인 시스템즈, 인크. | 회로 설계 기능 검증 방법 및 장치 |
| JP2008027037A (ja) * | 2006-07-19 | 2008-02-07 | Howa Mach Ltd | 工程シミュレータ |
| JP2010218229A (ja) * | 2009-03-17 | 2010-09-30 | Nec Corp | 論理シミュレーションシステム、論理シミュレーション方法及び論理シミュレーションプログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Edwards et al. | SHIM: A deterministic model for heterogeneous embedded systems | |
| JPH0546697A (ja) | 論理シミユレータ | |
| Jephson et al. | A three-value computer design verification system | |
| JPH05151305A (ja) | 論理検証装置 | |
| JP3472067B2 (ja) | 設計支援装置 | |
| JP2006268606A (ja) | シミュレーション装置 | |
| JP2924222B2 (ja) | 論理シミュレータ | |
| JPS59117660A (ja) | シミユレ−シヨン状態復元処理方式 | |
| JP4484048B2 (ja) | ハードウェア／ソフトウェア協調検証システム | |
| JP2809631B2 (ja) | 回路ネット抽出方法 | |
| JP2002041595A (ja) | バックアノテーション装置およびその方法 | |
| JP2646830B2 (ja) | インタラクティブな配置修正方式 | |
| CN117971194A (zh) | 一种在低代码平台中实现可编辑表格的方法 | |
| JPH09128431A (ja) | 形式検証システム | |
| JP2850629B2 (ja) | 論理検証システム | |
| JPH1021271A (ja) | 論理回路設計支援装置 | |
| JPH0512370A (ja) | 論理回路模擬試験装置 | |
| JP3057192B2 (ja) | 論理シミュレーション支援システム | |
| JPH0581368A (ja) | スキヤンパスにおける双方向端子のモード検証方法 | |
| JPH0535817A (ja) | シミユレーシヨン方法 | |
| JPH03157781A (ja) | 論理回路検証方式 | |
| JPH04276569A (ja) | スキャン回路の検証方式 | |
| JPH05120366A (ja) | 論理検証装置 | |
| JPH06187392A (ja) | テストパターン作成装置 | |
| JPH0581366A (ja) | 論理シミユレーシヨン方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 19990204 |