JP2007219996A - 工程シミュレータ - Google Patents
工程シミュレータ Download PDFInfo
- Publication number
- JP2007219996A JP2007219996A JP2006042319A JP2006042319A JP2007219996A JP 2007219996 A JP2007219996 A JP 2007219996A JP 2006042319 A JP2006042319 A JP 2006042319A JP 2006042319 A JP2006042319 A JP 2006042319A JP 2007219996 A JP2007219996 A JP 2007219996A
- Authority
- JP
- Japan
- Prior art keywords
- scan
- value
- time unit
- scan time
- calculation
- 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.)
- Granted
Links
Images
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/30—Computing systems specially adapted for manufacturing
Landscapes
- General Factory Administration (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
【課題】 この発明は、演算回数を減らすことで演算時間を短縮できる工程シミュレータを提供するものである。
【解決手段】 各搬送装置に対応して変化チェックテーブルに2重化したチェック用変数を一致させた状態で格納する。各搬送装置においてイベントが発生する場合、チェック用変数の一方を変化させて不一致とし、イベントが発生しない場合、チェック用変数を一致した状態とし、ステップS202で不一致の場合ステップS205で演算を行い、一致の場合演算を行わないようにした。これにより、演算が省かれる分演算時間を短縮できる。
【選択図】 図3
Description
10 搬送ライン(工程)
Claims (5)
- 複数の要素からなる全工程を、各要素の動作を適当な時間ピッチのスキャン時間単位でシミュレーションしていくことで解析する工程シミュレータであって、各要素の動作をスキャンする動作用スキャン時間単位の1つとして適当な指定値を設定する指定値設定手段と、各要素の動作をシミュレーションする時の演算に使用されるスキャン時間単位である動作用スキャン時間単位の最小値を設定する最小値設定手段と、動作用スキャン時間単位として指定値設定手段によって設定した指定値を採用する指定値採用手段と、各スキャンにおいて各要素の動作に状態変化があるときに動作用スキャン時間単位として最小値設定手段で設定された最小値を採用する最小値採用手段と、動作用スキャン時間単位のスキャンによって各要素の動作の計算を行ってシミュレーションを行うシミュレーション動作計算手段と、各スキャンにおいて各要素が動作を実行するか否か判断し、動作の実行を行うと判断した場合にその要素のシミュレーション動作計算手段を実行させ、動作の実行を行わないと判断した場合にその要素のシミュレーション動作計算手段を実行させない動作実行判断手段とを備えた工程シミュレータにおいて、動作用スキャン時間単位として最小値を採用したスキャンのとき、各要素の動作の状態変化が発生しているか否かを判断する状態変化判断手段と、状態変化判断手段によって状態変化が発生していると判断したとき動作の演算を行うが、状態変化が発生していないと判断したとき動作の演算を行わないようにした論理演算実施手段とを備え、状態変化が発生していない要素における動作の演算を省くようにしたことを特徴とする工程シミュレータ。
- 各スキャンにおいて各要素における動作完了までのスキャン時間単位の中での最短値を次の動作用スキャン時間単位の最短値として設定記憶する最短値設定手段と、動作用スキャン時間単位の最短値が指定値より小さいときその最短値を次の動作用スキャン時間単位として採用する最短値採用手段を備え、最小値採用手段を、各要素の動作に状態変化があるとき、および、動作用スキャン時間単位として最短値を採用して各要素の動作をシミュレーションした後に続くとき、の動作用スキャン時間単位として、夫々最小値設定手段で設定された最小値を採用するように構成したことを特徴とする請求項1に記載の工程シミュレータ。
- 状態変化判断手段は、各要素に対応して各要素の状態変化が発生したかをチェックする変数を格納する変化チェックテーブルと、変化チェックテーブルに変数を登録するようにした変数登録手段と、変数登録手段の変数の変化により状態変化が発生したかを判断する変数変化判断手段を備えていることを特徴とする請求項1または2記載の工程シミュレータ。
- 指定値設定手段は、各要素の動作のスキャンを最初から所定時間ピッチ毎の演算実施時間で行うための所定時間の所定値から動作用スキャン時間単位の指定値を設定するように構成し、動作用スキャン時間単位の指定値の設定のため所定値を採用したときは、状態変化が発生しているか否かに関係なく演算実施時間に動作の演算を行うようにしたことを特徴とする請求項1から3の何れか1項に記載の工程シミュレータ。
- 指定値設定手段は、各要素の動作のスキャン時間単位の最大値を動作用スキャン時間単位の指定値として設定するように構成し、各スキャンにおいて各要素での動作完了までのスキャン時間単位が指定値として設定したスキャン時間単位の最大値以内か判断する判断手段を備え、指定値採用手段は、前記判断手段で動作完了までのスキャン時間単位がスキャン時間単位の指定値を超えると判断されたとき、動作用スキャン時間単位として指定値を採用するように構成し、最短値設定手段は、前記判断手段で動作完了までのスキャン時間単位が指定値以内と判断されたとき、その各要素のスキャン時間単位の中での最短値を動作用スキャン時間単位として設定記憶するように構成したことを特徴とする請求項2または3記載の工程シミュレータ。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006042319A JP4894290B2 (ja) | 2006-02-20 | 2006-02-20 | 工程シミュレータ |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006042319A JP4894290B2 (ja) | 2006-02-20 | 2006-02-20 | 工程シミュレータ |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2007219996A true JP2007219996A (ja) | 2007-08-30 |
JP4894290B2 JP4894290B2 (ja) | 2012-03-14 |
Family
ID=38497208
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006042319A Active JP4894290B2 (ja) | 2006-02-20 | 2006-02-20 | 工程シミュレータ |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4894290B2 (ja) |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03204775A (ja) * | 1990-01-08 | 1991-09-06 | Nec Corp | 論理シミュレーション方法 |
JPH04192065A (ja) * | 1990-11-27 | 1992-07-10 | Fujitsu Ltd | イベント型シミュレーション方式 |
JPH0546697A (ja) * | 1991-08-14 | 1993-02-26 | Nec Corp | 論理シミユレータ |
JPH06110895A (ja) * | 1992-09-29 | 1994-04-22 | Shin Meiwa Ind Co Ltd | 生産ラインの全所要時間算出システム |
JP2002259888A (ja) * | 2000-12-25 | 2002-09-13 | Toshiba Corp | シミュレーション制御プログラム、方法及び装置 |
JP2006024113A (ja) * | 2004-07-09 | 2006-01-26 | Howa Mach Ltd | 工程シミュレータ |
-
2006
- 2006-02-20 JP JP2006042319A patent/JP4894290B2/ja active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03204775A (ja) * | 1990-01-08 | 1991-09-06 | Nec Corp | 論理シミュレーション方法 |
JPH04192065A (ja) * | 1990-11-27 | 1992-07-10 | Fujitsu Ltd | イベント型シミュレーション方式 |
JPH0546697A (ja) * | 1991-08-14 | 1993-02-26 | Nec Corp | 論理シミユレータ |
JPH06110895A (ja) * | 1992-09-29 | 1994-04-22 | Shin Meiwa Ind Co Ltd | 生産ラインの全所要時間算出システム |
JP2002259888A (ja) * | 2000-12-25 | 2002-09-13 | Toshiba Corp | シミュレーション制御プログラム、方法及び装置 |
JP2006024113A (ja) * | 2004-07-09 | 2006-01-26 | Howa Mach Ltd | 工程シミュレータ |
Also Published As
Publication number | Publication date |
---|---|
JP4894290B2 (ja) | 2012-03-14 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10325044B2 (en) | Control path verification of hardware design for pipelined process | |
JP3866749B2 (ja) | マイクロプロセッサ | |
JP4894290B2 (ja) | 工程シミュレータ | |
JP5332875B2 (ja) | 分子安定構造探索装置、分子安定構造探索プログラム、および分子安定構造探索方法 | |
US20070240089A1 (en) | Apparatus and method for correcting layout pattern data | |
JP2014038613A5 (ja) | ||
JP4952317B2 (ja) | 退避データ判別方法、退避データ判別プログラムおよび退避データ判別装置 | |
JP4975586B2 (ja) | 複数本のシーケンスプログラムを並列して実行可能なプログラマブルコントローラ | |
JP4591863B2 (ja) | 工程シミュレータ | |
JP4916151B2 (ja) | 並列演算装置 | |
JP3456894B2 (ja) | シーケンス制御装置 | |
JP2006323710A (ja) | データプロセッサ、データ処理方法及び演算制御プログラム | |
JP6199813B2 (ja) | フォーマル検証装置およびプログラム | |
CN113434571B (zh) | 一种知识挖掘方法、平台、系统及存储介质 | |
US11321507B1 (en) | System and method for accurate X handling using logic and symbolic cosimulation | |
JPH07253909A (ja) | マイクロプログラム検証方法 | |
JP5390464B2 (ja) | シミュレーション装置、シミュレーション装置の制御方法およびプログラム | |
CN113849334A (zh) | 任务执行方法及装置 | |
JP3729250B2 (ja) | 情報処理装置及び電子機器 | |
JP2004030228A (ja) | Lsiシミュレータ及びシミュレーション方法 | |
JP2006155083A (ja) | 論理回路機能検証支援方法及び論理回路機能検証支援装置 | |
JP2007328775A (ja) | シミュレーション装置、シミュレーション方法及びシミュレーションプログラム | |
JP2016146032A (ja) | ソフトウェアの網羅試験装置および網羅試験方法 | |
JP2001155047A (ja) | 論理シミュレーション処理装置及び方法 | |
JP2006277019A (ja) | オーバーフロー検出方法、オーバーフロー検出装置及びオーバーフロー検出プログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20081202 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110524 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20110526 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110721 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20111129 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20111212 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4894290 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20150106 Year of fee payment: 3 |