JP2017224060A - アプリロジックおよびその検証方法および構成方法 - Google Patents
アプリロジックおよびその検証方法および構成方法 Download PDFInfo
- Publication number
- JP2017224060A JP2017224060A JP2016117505A JP2016117505A JP2017224060A JP 2017224060 A JP2017224060 A JP 2017224060A JP 2016117505 A JP2016117505 A JP 2016117505A JP 2016117505 A JP2016117505 A JP 2016117505A JP 2017224060 A JP2017224060 A JP 2017224060A
- Authority
- JP
- Japan
- Prior art keywords
- logic
- macro
- calculation
- verification
- arithmetic
- 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
- 238000012795 verification Methods 0.000 title claims abstract description 112
- 238000000034 method Methods 0.000 title claims abstract description 82
- 230000003068 static effect Effects 0.000 claims abstract description 37
- 238000013500 data storage Methods 0.000 claims abstract description 35
- 238000004088 simulation Methods 0.000 claims abstract description 12
- 238000004364 calculation method Methods 0.000 claims description 193
- 238000012545 processing Methods 0.000 claims description 73
- 238000010586 diagram Methods 0.000 claims description 35
- 230000008569 process Effects 0.000 claims description 32
- 230000006870 function Effects 0.000 claims description 23
- 238000011161 development Methods 0.000 claims description 11
- 238000004422 calculation algorithm Methods 0.000 claims description 9
- 101000879675 Streptomyces lavendulae Subtilisin inhibitor-like protein 4 Proteins 0.000 abstract description 7
- 238000013461 design Methods 0.000 description 15
- 238000007689 inspection Methods 0.000 description 7
- 238000000605 extraction Methods 0.000 description 6
- 238000007620 mathematical function Methods 0.000 description 4
- 230000001360 synchronised effect Effects 0.000 description 3
- 238000012546 transfer Methods 0.000 description 3
- 230000005856 abnormality Effects 0.000 description 2
- 230000004907 flux Effects 0.000 description 2
- 238000005259 measurement Methods 0.000 description 2
- 101000879673 Streptomyces coelicolor Subtilisin inhibitor-like protein 3 Proteins 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3648—Software debugging using additional hardware
- G06F11/3652—Software debugging using additional hardware in-circuit-emulation [ICE] arrangements
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
- G06F30/398—Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]
-
- G—PHYSICS
- G21—NUCLEAR PHYSICS; NUCLEAR ENGINEERING
- G21C—NUCLEAR REACTORS
- G21C17/00—Monitoring; Testing ; Maintaining
-
- G—PHYSICS
- G21—NUCLEAR PHYSICS; NUCLEAR ENGINEERING
- G21D—NUCLEAR POWER PLANT
- G21D3/00—Control of nuclear power plant
- G21D3/001—Computer implemented control
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
- G06F9/3017—Runtime instruction translation, e.g. macros
-
- 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
- Y02E—REDUCTION OF GREENHOUSE GAS [GHG] EMISSIONS, RELATED TO ENERGY GENERATION, TRANSMISSION OR DISTRIBUTION
- Y02E30/00—Energy generation of nuclear origin
-
- 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
- Y02E—REDUCTION OF GREENHOUSE GAS [GHG] EMISSIONS, RELATED TO ENERGY GENERATION, TRANSMISSION OR DISTRIBUTION
- Y02E30/00—Energy generation of nuclear origin
- Y02E30/30—Nuclear fission reactors
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- General Physics & Mathematics (AREA)
- High Energy & Nuclear Physics (AREA)
- Plasma & Fusion (AREA)
- Geometry (AREA)
- Evolutionary Computation (AREA)
- Quality & Reliability (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
- Programmable Controllers (AREA)
- Monitoring And Testing Of Nuclear Reactors (AREA)
- Advance Control (AREA)
Abstract
Description
101:マクロロジック
102:マクロ演算制御部
150:単精度浮動小数点数演算ロジック
183:符号部処理部
184:指数部処理部
185:仮数部処理部
186:指数部調整部
Claims (15)
- 所定の演算を行う1または複数のマクロロジックと、
前記マクロロジックに前記演算を行わせるために、前記マクロロジックに前記演算の開始を指示するマクロ演算制御部と、
データを記憶する演算データ記憶領域と、
を備えるアプリロジックの検証方法であって、
前記マクロロジック、前記マクロ演算制御部、前記演算データ記憶領域の各々について、形式検証言語のプロパティ記述による静的検証を行い、
前記マクロロジックの少なくとも一つについて、さらに、シミュレーションによる動的検証を行う、
アプリロジックの検証方法。 - 前記アプリロジックはさらに、
前記マクロロジックに前記演算を行わせる順序を記憶する演算順序記憶領域と、
前記演算データ記憶領域に記憶された前記データを、前記演算の前に前記マクロロジックに転送する入力セレクタと、
前記演算の後に、前記マクロロジックの演算結果を前記演算データ記憶領域に転送する出力セレクタと、
前記マクロ演算制御部から前記マクロロジックに、前記演算の開始を指示するための演算開始信号を送信する演算開始信号線と、
前記マクロロジックから前記マクロ演算制御部に、前記演算の終了を通知するための演算終了信号を送信する演算終了信号線と、
を備え、
前記演算順序記憶領域、前記入力セレクタ、及び前記出力セレクタの各々について、形式検証言語のプロパティ記述による静的検証を行う、
請求項1記載のアプリロジックの検証方法。 - 前記アプリロジックの前記マクロロジックは、ファンクション・ブロック・ダイアグラムで相互接続され、
前記アプリロジックはさらに、
前記マクロ演算制御部から前記マクロロジックに、前記演算の開始を指示するための演算開始信号を送信する演算開始信号線と、
前記マクロロジックから前記マクロ演算制御部または他のマクロロジックに、前記演算の終了を通知するための演算終了信号を送信する演算終了信号線と、
を備える、
請求項1記載のアプリロジックの検証方法。 - 前記マクロロジックは、
所定の浮動小数点数演算を行う1または複数の演算ロジックと、
演算アルゴリズムの順序にしたがって前記演算ロジックに前記浮動小数点数演算を行わせるために、前記演算ロジックに前記浮動小数点数演算の開始を指示する浮動小数点数演算制御部と、
前記浮動小数点数演算制御部の制御により、前記演算ロジックに前記浮動小数点数演算に必要なデータを転送するためのセレクタと、
前記演算ロジックから受け取った出力データを処理して出力する出力値処理部と、
を備え、
前記演算ロジック、前記浮動小数点数演算制御部、前記セレクタ、及び前記出力値処理部の各々について、形式検証言語のプロパティ記述による静的検証を行い、
前記演算ロジックについて、さらに、シミュレーションによる動的検証を行う、
請求項1記載のアプリロジックの検証方法。 - 前記演算ロジックは、複数のサブ機能モジュールの組み合わせで構成され、
前記サブ機能モジュールの各々について、形式検証言語のプロパティ記述による静的検証を行う、
請求項4記載のアプリロジックの検証方法。 - 所定の演算を行う1または複数のマクロロジックと、
前記マクロロジックに前記演算を行わせるために、前記マクロロジックに前記演算の開始を指示するマクロ演算制御部と、
データを記憶する演算データ記憶領域とを備え、
前記マクロロジックは、
所定の浮動小数点数演算を行う1または複数の演算ロジックと、
演算アルゴリズムの順序にしたがって前記演算ロジックに前記浮動小数点数演算を行わせるために、前記演算ロジックに前記浮動小数点数演算の開始を指示する浮動小数点数演算制御部と、
前記浮動小数点数演算制御部の制御により、前記演算ロジックに前記浮動小数点数演算に必要なデータを転送するためのセレクタと、
前記演算ロジックから受け取った出力データを処理して出力する出力値処理部と、
を備え、
前記演算ロジックは、複数のサブ機能モジュールの組み合わせで構成される、
アプリロジック。 - 前記アプリロジックはさらに、
前記マクロロジックに前記演算を行わせる順序を記憶する演算順序記憶領域と、
前記演算データ記憶領域に記憶された前記データを、前記演算の前に前記マクロロジックに転送する入力セレクタと、
前記演算の後に、前記マクロロジックの演算結果を前記演算データ記憶領域に転送する出力セレクタと、
前記マクロ演算制御部から前記マクロロジックに、前記演算の開始を指示するための演算開始信号を送信する演算開始信号線と、
前記マクロロジックから前記マクロ演算制御部に、前記演算の終了を通知するための演算終了信号を送信する演算終了信号線と、
を備える請求項6記載のアプリロジック。 - 前記アプリロジックの前記マクロロジックは、ファンクション・ブロック・ダイアグラムで相互接続され、
前記アプリロジックはさらに、
前記マクロ演算制御部から前記マクロロジックに、前記演算の開始を指示するための演算開始信号を送信する演算開始信号線と、
前記マクロロジックから前記マクロ演算制御部または他のマクロロジックに、前記演算の終了を通知するための演算終了信号を送信する演算終了信号線と、
を備える請求項6記載のアプリロジック。 - 前記演算ロジックは、
入力データの比較結果を出力する入力比較部と、
前記入力比較部の比較結果を用いて、前記入力データの符号部を処理する符号部処理部と、
前記入力比較部の比較結果を用いて、前記入力データの指数部を処理する指数部処理部と、
前記入力比較部の比較結果と前記指数部処理部の処理結果を用いて、前記入力データの仮数部を処理する仮数部処理部と、
前記指数部処理部の処理結果と前記仮数部処理部の処理結果を用いて,出力すべき指数部の調整を行う指数部調整部と、
前記入力データと前記指数部調整部の調整結果を用いて、浮動小数点数例外を処理する例外処理部と、
前記符号部処理部の処理結果と前記仮数部処理部の処理結果と前記指数部調整部の処理結果と前記例外処理部の処理結果を用いて、演算結果データを生成し出力する出力値処理部と、
を備える請求項6記載のアプリロジック。 - 原子炉計装制御装置の安全保護系アプリロジックの構成方法であって、
前記安全保護系アプリロジックを、形式検証言語のプロパティ記述による静的検証によりあらかじめ検証済の機能モジュールの組み合わせで構成することを特徴とする、
アプリロジックの構成方法。 - 前記安全保護系アプリロジックは浮動小数点数演算を行う浮動小数点数演算ロジックを持ち、
前記浮動小数点数演算ロジックはシミュレーションによる動的検証と形式検証言語のプロパティ記述による静的検証の両方で検証され、
またそれら浮動小数点数演算ロジックのサブ機能モジュールは形式検証言語のプロパティ記述による静的検証で検証されることを特徴とする、
請求項10記載のアプリロジックの構成方法。 - 前記安全保護系アプリロジックは演算ライブラリであるマクロロジックの組み合わせで構成され、
前記マクロロジックの少なくとも一つはシミュレーションによる動的検証と形式検証言語のプロパティ記述による静的検証の両方で検証され、
またそれらマクロロジックのサブ機能モジュールの少なくとも一つもまたシミュレーションによる動的検証と形式検証言語のプロパティ記述による静的検証の両方で検証されることを特徴とする、
請求項10記載のアプリロジックの構成方法。 - 前記安全保護系アプリロジックはマクロロジック演算制御部とマクロロジック演算データ記憶領域とマクロ演算順序記憶領域を持ち、
前記マクロ演算順序記憶領域に保存された演算順序にしたがって前記マクロロジック演算制御部は前記マクロロジックを呼び出し、
前記マクロロジックは前記マクロロジック演算データ記憶領域から入力データを受信し出力データを書き込むことを特徴とする、
請求項12記載のアプリロジックの構成方法。 - グラフィカル・ユーザ・インターフェースによるモデルベースのアプリ開発環境を用い、
前記アプリ開発環境はアプリ演算の構成要素である演算マクロのライブラリを利用可能であり、
前記アプリ開発環境は前記演算マクロの実行順序を指定する機能を有し、
前記演算マクロの実行順序の情報を用いて前記マクロ演算順序記憶領域に前記マクロロジックの実行順序を記載することを特徴とする、
請求項13記載のアプリロジックの構成方法。 - 前記演算マクロのライブラリを構成する個々の演算マクロにはそれぞれ一対一で対応する前記マクロロジックが存在し、
前記演算マクロを前記マクロロジックに置き換えることで前記安全保護系アプリロジックを構成し、
前記演算マクロと前記マクロロジックの演算内容が等価であることを前記動的検証もしくは前記静的検証により検証することを特徴とする、
請求項14記載のアプリロジックの構成方法。
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016117505A JP6721423B2 (ja) | 2016-06-14 | 2016-06-14 | アプリロジックおよびその検証方法 |
CN201710271230.5A CN107506509B (zh) | 2016-06-14 | 2017-04-18 | 应用逻辑及其验证方法和构成方法 |
EP17169381.5A EP3258470B1 (en) | 2016-06-14 | 2017-05-04 | Application logic, and verification method and configuration method thereof |
US15/621,519 US10929273B2 (en) | 2016-06-14 | 2017-06-13 | Application logic, and verification method and configuration method thereof |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016117505A JP6721423B2 (ja) | 2016-06-14 | 2016-06-14 | アプリロジックおよびその検証方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2017224060A true JP2017224060A (ja) | 2017-12-21 |
JP6721423B2 JP6721423B2 (ja) | 2020-07-15 |
Family
ID=58692364
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016117505A Active JP6721423B2 (ja) | 2016-06-14 | 2016-06-14 | アプリロジックおよびその検証方法 |
Country Status (4)
Country | Link |
---|---|
US (1) | US10929273B2 (ja) |
EP (1) | EP3258470B1 (ja) |
JP (1) | JP6721423B2 (ja) |
CN (1) | CN107506509B (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2019185301A (ja) * | 2018-04-06 | 2019-10-24 | 株式会社日立製作所 | 演算器の検証装置 |
JP7435951B2 (ja) | 2021-12-21 | 2024-02-21 | ベイジン バイドゥ ネットコム サイエンス テクノロジー カンパニー リミテッド | 集積回路チップ検証のための浮動小数点数生成方法、装置、電子デバイス、記憶媒体及びコンピュータプログラム |
JP7446123B2 (ja) | 2020-02-19 | 2024-03-08 | 三菱電機株式会社 | 制御装置 |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112462731B (zh) * | 2020-10-16 | 2022-06-24 | 北京西南交大盛阳科技股份有限公司 | 安全监督控制方法、安全监督控制装置、计算机设备及安全监督系统 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6446243B1 (en) * | 1999-04-23 | 2002-09-03 | Novas Software, Inc. | Method for functional verification of VLSI circuit designs utilizing reusable functional blocks or intellectual property cores |
JP2005249609A (ja) * | 2004-03-04 | 2005-09-15 | Toshiba Corp | 安全保護計装システムおよびその取扱方法 |
JP2006236214A (ja) * | 2005-02-28 | 2006-09-07 | Toshiba Corp | 安全系装置の検証方法およびその検証方法で検証された安全系装置 |
JP2006309576A (ja) * | 2005-04-28 | 2006-11-09 | Canon Inc | 論理システムの検証装置及び検証方法、記憶媒体及びコンピュータプログラム |
Family Cites Families (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5297151A (en) * | 1992-06-17 | 1994-03-22 | International Business Machines Corporation | Adjustable weighted random test pattern generator for logic circuits |
US5586156A (en) * | 1995-07-14 | 1996-12-17 | General Electric Company | Reactor protection system with automatic self-testing and diagnostic |
DE69618160T2 (de) * | 1995-07-14 | 2002-09-05 | Gen Electric | Reaktorschutzsystem |
US5621776A (en) * | 1995-07-14 | 1997-04-15 | General Electric Company | Fault-tolerant reactor protection system |
US6519696B1 (en) * | 2000-03-30 | 2003-02-11 | I.P. First, Llc | Paired register exchange using renaming register map |
US7260794B2 (en) * | 2002-12-20 | 2007-08-21 | Quickturn Design Systems, Inc. | Logic multiprocessor for FPGA implementation |
CN101694643B (zh) * | 2003-09-30 | 2012-10-10 | 明导公司 | 使用一个或多个自动机的系统验证 |
US7334203B2 (en) * | 2004-10-01 | 2008-02-19 | Dynetix Design Solutions, Inc. | RaceCheck: a race logic analyzer program for digital integrated circuits |
US8041554B1 (en) * | 2007-06-06 | 2011-10-18 | Rockwell Collins, Inc. | Method and system for the development of high-assurance microcode |
US20090144669A1 (en) * | 2007-11-29 | 2009-06-04 | International Business Machines Corporation | Method and arrangement for enhancing process variability and lifetime reliability through 3d integration |
US7850127B2 (en) * | 2008-03-11 | 2010-12-14 | Ansaldo Sts Usa, Inc. | Cab signal receiver demodulator employing redundant, diverse field programmable gate arrays |
JP5675208B2 (ja) * | 2010-08-06 | 2015-02-25 | 三菱重工業株式会社 | 原子力施設の制御システム |
JP5675256B2 (ja) * | 2010-10-12 | 2015-02-25 | 三菱重工業株式会社 | 原子力施設の制御システム |
US8375345B1 (en) * | 2012-02-16 | 2013-02-12 | International Business Machines Corporation | Soft-bounded hierarchical synthesis |
CA2922701C (en) * | 2013-08-28 | 2021-05-04 | Stc.Unm | Systems and methods for leveraging path delay variations in a circuit and generating error-tolerant bitstrings |
US9075935B2 (en) * | 2013-09-19 | 2015-07-07 | The Board Of Trustees Of The University Of Illinois | Merit-based characterization of assertions in hardware design verification |
US9785732B2 (en) * | 2015-06-12 | 2017-10-10 | Netspeed Systems, Inc. | Verification low power collateral generation |
-
2016
- 2016-06-14 JP JP2016117505A patent/JP6721423B2/ja active Active
-
2017
- 2017-04-18 CN CN201710271230.5A patent/CN107506509B/zh active Active
- 2017-05-04 EP EP17169381.5A patent/EP3258470B1/en active Active
- 2017-06-13 US US15/621,519 patent/US10929273B2/en active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6446243B1 (en) * | 1999-04-23 | 2002-09-03 | Novas Software, Inc. | Method for functional verification of VLSI circuit designs utilizing reusable functional blocks or intellectual property cores |
JP2005249609A (ja) * | 2004-03-04 | 2005-09-15 | Toshiba Corp | 安全保護計装システムおよびその取扱方法 |
JP2006236214A (ja) * | 2005-02-28 | 2006-09-07 | Toshiba Corp | 安全系装置の検証方法およびその検証方法で検証された安全系装置 |
JP2006309576A (ja) * | 2005-04-28 | 2006-11-09 | Canon Inc | 論理システムの検証装置及び検証方法、記憶媒体及びコンピュータプログラム |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2019185301A (ja) * | 2018-04-06 | 2019-10-24 | 株式会社日立製作所 | 演算器の検証装置 |
JP7112232B2 (ja) | 2018-04-06 | 2022-08-03 | 株式会社日立製作所 | 演算器の検証装置 |
JP7446123B2 (ja) | 2020-02-19 | 2024-03-08 | 三菱電機株式会社 | 制御装置 |
JP7435951B2 (ja) | 2021-12-21 | 2024-02-21 | ベイジン バイドゥ ネットコム サイエンス テクノロジー カンパニー リミテッド | 集積回路チップ検証のための浮動小数点数生成方法、装置、電子デバイス、記憶媒体及びコンピュータプログラム |
Also Published As
Publication number | Publication date |
---|---|
CN107506509A (zh) | 2017-12-22 |
CN107506509B (zh) | 2020-08-07 |
EP3258470A1 (en) | 2017-12-20 |
US10929273B2 (en) | 2021-02-23 |
EP3258470B1 (en) | 2019-12-25 |
US20170357567A1 (en) | 2017-12-14 |
JP6721423B2 (ja) | 2020-07-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6721423B2 (ja) | アプリロジックおよびその検証方法 | |
US11748536B2 (en) | Automated microprocessor design | |
KR101865666B1 (ko) | 원자로노심보호계통 소프트웨어 검증용 시뮬레이션 장치 및 시스템 | |
Jung et al. | Development of field programmable gate array-based reactor trip functions using systems engineering approach | |
JP2005249609A (ja) | 安全保護計装システムおよびその取扱方法 | |
US20220137586A1 (en) | Method, computer program and apparatus for analysing a programmable logic controller program | |
US8204608B2 (en) | Monitoring and control apparatus | |
US20120060064A1 (en) | Soft error verification in hardware designs | |
US11163579B2 (en) | Instruction generation based on selection or non-selection of a special command | |
CN102520949B (zh) | 形式化计算机联锁实现方法 | |
US11151301B2 (en) | Point-to-point module connection interface for integrated circuit generation | |
US10534625B1 (en) | Carry chain logic in processor based emulation system | |
JP2017224128A (ja) | 半導体lsi設計装置および設計方法 | |
JP5818762B2 (ja) | プログラマブルロジックデバイス及びその検証方法 | |
Cousineau et al. | Automated deductive verification for ladder programming | |
KR102325612B1 (ko) | 시뮬레이터를 구현하는 방법, 장치, 기기 및 매체 | |
Harward et al. | A fault injection system for measuring soft processor design sensitivity on Virtex-5 FPGAs | |
CN201145858Y (zh) | 一种基于工业组态的航天器测试设备 | |
JP2005032191A (ja) | 仮想テスタ、テスト装置、半導体集積回路用テストシステム、及び半導体集積回路用テストプログラムの検証方法 | |
Borcsok et al. | Implementation of a 1oo2-RISC-architecture on FPGA for safety systems | |
CN115510782B (zh) | 定位验证错误的方法、电子设备和存储介质 | |
Cao | A serial communication-based FPGA co-emulation test bench [D] | |
Kazakov | Simulation of functioning onboard radioelectronic equipment of space vehicle using fpga | |
Telnov | MODEL-BASED DESIGN IN SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS | |
Ozmen et al. | Simulation-based testing for instrumentation and control systems |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20190219 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20200316 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20200324 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20200514 |
|
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: 20200602 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200618 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6721423 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |