JP2023531931A - 半導体デバイスのモデリング方法及び装置 - Google Patents

半導体デバイスのモデリング方法及び装置 Download PDF

Info

Publication number
JP2023531931A
JP2023531931A JP2022579028A JP2022579028A JP2023531931A JP 2023531931 A JP2023531931 A JP 2023531931A JP 2022579028 A JP2022579028 A JP 2022579028A JP 2022579028 A JP2022579028 A JP 2022579028A JP 2023531931 A JP2023531931 A JP 2023531931A
Authority
JP
Japan
Prior art keywords
model
type
target
target model
tree
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
Application number
JP2022579028A
Other languages
English (en)
Other versions
JP7457168B2 (ja
Inventor
ジャジャ チャイ
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beijing Naura Microelectronics Equipment Co Ltd
Original Assignee
Beijing Naura Microelectronics Equipment Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Beijing Naura Microelectronics Equipment Co Ltd filed Critical Beijing Naura Microelectronics Equipment Co Ltd
Publication of JP2023531931A publication Critical patent/JP2023531931A/ja
Application granted granted Critical
Publication of JP7457168B2 publication Critical patent/JP7457168B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/36Circuit design at the analogue level
    • G06F30/367Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/20Design optimisation, verification or simulation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking
    • G06F30/3323Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements 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/44Arrangements for executing specific programs
    • G06F9/445Program loading or initiating
    • G06F9/44521Dynamic linking or loading; Link editing at or after load time, e.g. Java class loading
    • G06F9/44526Plug-ins; Add-ons

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • Software Systems (AREA)
  • Microelectronics & Electronic Packaging (AREA)
  • Stored Programmes (AREA)
  • Encapsulation Of And Coatings For Semiconductor Or Solid State Devices (AREA)
  • Die Bonding (AREA)
  • Design And Manufacture Of Integrated Circuits (AREA)
  • Debugging And Monitoring (AREA)

Abstract

半導体デバイスのモデリング方法及び装置であって、該方法は、追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップ(101)であって、追加指示操作はデバイスモデルオブジェクトにおける追加対象モデルとデバイスモデルツリーにおける目標モデルを選択することに用いられるステップと、ソースコントロールのタイプと前記目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、追加対象モデルの情報と目標モデルの情報を検証し、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを決定するステップ(102)と、追加対象モデルが目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示するステップ(103)とを含む。該方法はより好適な適用性を有する。【選択図】図1

Description

本願は半導体分野に関し、具体的には、半導体デバイスのモデリング方法及び装置に関する。
現在、デバイスモデリングを行うとき、デバイスモデリングアプリケーションのメインプログラムによって特定のタイプのコントロールを利用してデバイスモデルオブジェクトを表し、特定のタイプのコントロールを利用してデバイスモデルツリーを表す場合に、デバイスモデルオブジェクトにおける選択されたモデルがデバイスモデルツリーにおける選択されたモデルのサブノードとしてデバイスモデルツリーに追加できるか否かを検証する。検証に関連するコード、すなわちデバイスモデルオブジェクトにおける選択されたモデルがデバイスモデルツリーにおける選択されたモデルのサブノードとしてデバイスモデルツリーに追加できるか否かを検証するコードのすべてはメインプログラムに統合される。
一方では、メインプログラムによって特定のタイプのコントロールを利用してデバイスモデルオブジェクトを表し、特定のタイプのコントロールを利用してデバイスモデルツリーを表す場合に検証する。他方では、デバイスモデリングを行うとき、デバイスモデリングの表示の上での需要に従って、デバイスモデルオブジェクトを表すコントロールタイプが変わり及び/又はデバイスモデルツリーを表すコントロールタイプが変わると、デバイスモデリングアプリケーションのメインプログラムにおける検証に関連するコードをすべて再作成する必要があり、デバイスモデリングの表示の上での需要に適応するため、コストが高くなる。
関連技術に存在する問題を克服するために、本願は半導体デバイスのモデリング方法及び装置を提供する。
本願の実施例の第1態様によれば、
追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップであって、前記追加指示操作は前記デバイスモデルオブジェクトにおける追加対象モデルと前記デバイスモデルツリーにおける目標モデルを選択することに用いられるステップと、
前記ソースコントロールのタイプと前記目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、前記追加対象モデルの情報と前記目標モデルの情報を検証し、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを決定するステップと、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示するステップと、を含む半導体デバイスのモデリング方法を提供する。
いくつかの実施例では、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定する前記ステップは、
予め作成されたジェネリックに基づく関数を利用し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップを含み、
前記ジェネリックに基づく関数の仮パラメータは、前記ソースコントロールのソースコントロールオブジェクトを受信するための仮パラメータ、前記目標コントロールの目標コントロールオブジェクトを受信するための仮パラメータを含み、前記ジェネリックに基づく関数は、呼び出されたとき、リフレクションにより前記ソースコントロールオブジェクトのタイプと前記目標コントロールオブジェクトのタイプを決定し、これにより前記ソースコントロールのタイプと前記目標コントロールのタイプを決定することに用いられる。
いくつかの実施例では、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できると決定する場合、前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップは、
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるという検証結果を表示するステップを含み、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップの後、前記方法は、
ユーザの追加確認操作に応答し、前記追加対象モデルを前記目標モデルのサブノードとして前記デバイスモデルツリーに追加するステップをさらに含む。
いくつかの実施例では、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できると決定する場合、前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップは、
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるという検証結果を表示するステップを含み、
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップの後、前記方法は、
ユーザの追加放棄操作に応答し、前記追加対象モデルを前記デバイスモデルツリーに追加することを放棄するステップをさらに含む。
いくつかの実施例では、前記追加指示操作に応答するステップは、
ユーザが表された前記デバイスモデルオブジェクトにおける1つの前記追加対象モデルを表された前記モデルデバイスツリーに位置する1つの前記目標モデルの位置にドラッグすることに応答するステップを含む。
いくつかの実施例では、ソースコントロールのタイプはTreeViewタイプおよびListViewタイプのうちの1つであり、目標コントロールのタイプはTreeViewタイプおよびListViewタイプのうちの1つである。
いくつかの実施例では、前記デバイスモデリングタイプ検証基準ライブラリはデータ収集基準に基づくデバイスモデリングタイプ検証基準を含む。
いくつかの実施例では、前記データ収集基準は複数のバージョンのデータ収集基準における現在採用されているバージョンのデータ収集基準である。
本願の実施例の第2態様によれば、
追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するように構成される決定ユニットであって、前記追加指示操作はデバイスモデルオブジェクトにおける追加対象モデルとデバイスモデルツリーにおける目標モデルを選択することに用いられる決定ユニットと、
前記ソースコントロールのタイプと前記目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、前記追加対象モデルの情報と前記目標モデルの情報を検証し、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを決定するように構成される検証ユニットと、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示するように構成されるフィードバックユニットと、を含む半導体デバイスのモデリング装置を提供する。
本願の実施例に係る半導体デバイスのモデリング方法及び装置は、メインプログラムとは個別に実行する検証モジュールを利用して検証を完了することを実現する。デバイスモデルオブジェクトを表すためのいずれかのソースコントロールのタイプとデバイスモデルツリーを表すためのいずれかの目標コントロールのタイプに対して、対応する検証モジュールによってデバイスモデルオブジェクトにおける選択された追加対象モデルがデバイスモデルツリーにおける選択された目標モデルのサブノードとしてデバイスモデルツリーに追加されるか否かという検証を完了することができる。いずれかのタイプのコントロールを採用してデバイスモデルオブジェクトを表し、いずれかのタイプの目標コントロールを採用してデバイスモデルツリーを表す場合には、対応する検証モジュールを利用して検証することができる。
一方、デバイスモデルオブジェクトを表すためのソースコントロールのタイプ及び/又はデバイスモデルツリーを表すための目標コントロールのタイプが変わる場合、対応する検証モジュールを採用して検証すればよく、メインプログラムに検証に関連するコードを含まず、メインプログラムにいかなる影響を与えず、デバイスモデリングの表示上での需要に適応するためにデバイスモデリングアプリケーションのメインプログラムにおける検証に関連するコードをすべて再作成するという問題を回避する。
ここでの図面は明細書に組み込まれ且つ明細書の一部を構成し、本願に適合する実施例を示し、且つ明細書とともに本願の原理を説明するために用いられる。
本願の実施例に係るデバイスモデリング方法のフローチャートである。 半導体デバイスモデリング時のデバイスモデルオブジェクトとデバイスモデルツリーを表す効果の概略図である。 デバイスモデリングのプロセスの概略図である。 デバイスモデリングの原理の概略図である。 本願の実施例に係るデバイスモデリング装置の構造ブロック図である。
以下、図面及び実施例を参照しつつ本願をさらに詳細に説明する。理解されるように、ここで説明された具体的な実施例は関連発明を解釈するために用いられ、該発明を限定するものではない。なお、説明の便宜上、図面には発明に関連する部分のみを示している。
なお、矛盾しない限り、本願における実施例及び実施例における特徴は互いに組み合わせることができる。以下、図面及び実施例を参照しつつ本願を詳細に説明する。
図1は本願の実施例に係る半導体デバイスのモデリング方法のフローチャートであり、該方法は、ステップ101~ステップ103を含む。
ステップ101、追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定する。
デバイスモデルオブジェクトを表すためのソースコントロールは現在表されているデバイスモデルオブジェクトが使用しているコントロールであってもよい。デバイスモデルツリーを表すための目標コントロールは現在表されているデバイスモデルツリーが使用しているコントロールであってもよい。
例えば、ソースコントロールのタイプはListViewタイプであり、目標コントロールのタイプはTreeViewタイプである。デバイスモデリングを行うとき、デバイスモデリングのインタフェースでは、ListViewタイプの1つのソースコントロールによってデバイスモデルオブジェクトをユーザに表すことができ、TreeViewタイプの1つの目標コントロールによってデバイスモデルツリーをユーザに表すことができる。
半導体デバイスモデリングを行うとき、デバイスモデリングアプリケーションにおけるメインプログラムによってソースコントロールを呼び出してデバイスモデルオブジェクトを表し、目標コントロールを呼び出してデバイスモデルツリーを表すことができる。
本願では、半導体デバイスモデリングを行うとき、ユーザによって選択されたデバイスモデルオブジェクトに位置するモデルは追加対象モデルと呼ばれてもよい。
デバイスモデリングを行うとき、ユーザによって選択されたデバイスモデルツリーに位置するモデルは目標モデルと呼ばれてもよい。
ステップ101における上記追加指示操作はデバイスモデルオブジェクトにおける追加対象モデルとデバイスモデルツリーにおける目標モデルを選択することに用いられる。
例えば、半導体デバイスモデリングを行うとき、追加指示操作に応答するステップは、
ユーザが表された前記デバイスモデルオブジェクトにおける1つの追加対象モデルを表されたモデルデバイスツリーに位置する1つの前記目標モデルの位置にドラッグすることに応答するステップを含んでもよい。
いくつかの実施例では、上記追加指示操作は、まずクリック動作を1回行ってデバイスモデルオブジェクトにおける1つの追加対象モデルを選択し、さらにクリック動作を1回行ってモデルデバイスツリーにおける1つの目標モデルを選択し、その後、選択された追加対象モデルを選択された目標モデルの位置にドラッグすることであってもよい。又は、上記追加指示操作は1回だけクリックしてデバイスモデルオブジェクトにおける1つの追加対象モデルを選択し、次に選択された追加対象モデルを対応する目標モデルの位置にドラッグすることであってもよい。
上記ドラッグ動作は、具体的には、ユーザが1つのソースコントロールによって表された情報における1つの情報項目を目標コントロールによって表された情報における1つの情報項目の位置にドラッグすることができ、該ドラッグ動作を完了した後、選択された追加対象モデルを選択された目標モデルの位置にドラッグするように実現することであってもよい。
なお、上記追加指示操作はドラッグに限定されず、実際の応用では、他の任意の方法で表されたデバイスモデルオブジェクトにおける1つの追加対象モデルを表されたモデルデバイスツリーに位置する1つの目標モデルの位置に追加し、例えば、まずクリック動作を1回行ってデバイスモデルオブジェクトにおける1つの追加対象モデルを選択し、次に任意のジェスチャー又は動作で該追加対象モデルを表されたモデルデバイスツリーに位置する1つの目標モデルの位置に追加することもできる。
デバイスモデリングを行うとき、デバイスモデリングアプリケーションにおけるメインプログラムによって追加指示操作を検出することができる。追加指示操作が検出されたと、デバイスモデリングアプリケーションにおけるコントロールタイプを決定するためのモジュールによって、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定することができる。デバイスモデリングアプリケーションにおけるメインプログラムはソースコントロールのタイプ、目標コントロールのタイプを考慮する必要がなく、また、選択された対応するモデルの情報を取得する必要がない。本願では、対応する検証モジュールによって選択された対応するモデルの情報を取得する。
デバイスモデリングを行うとき、ユーザは追加指示操作を行うたびに、デバイスモデルオブジェクトにおける対応する追加対象モデル、デバイスモデルツリーにおける対応する目標モデルを選択することができる。
本願では、デバイスモデリングアプリケーションの構成ファイルにソースコントロールのタイプと目標コントロールのタイプを記録することができる。
デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定する必要がある場合、上記構成ファイルを読み取ることによりソースコントロールのタイプと目標コントロールのタイプを取得することができる。
本願では、デバイスモデルオブジェクトはモデルを複数含む。
デバイスモデルオブジェクトにおける各モデルはそれぞれ半導体デバイスに関連する1つのデータ構造に関連付けることができる。例えば、デバイスはロボットである場合、デバイスモデルオブジェクトにおける1つのモデルはロボットのロボットアームを記述した1つのデータ構造に関連付ける。デバイスモデルオブジェクトにおける別のモデルはロボットのあるタイプのパラメータを記憶するデータ構造に関連付ける。
デバイスモデルツリーでは、ツリー構造によりデバイスモデルツリーにおける異なるモデル間の関連関係を明らかに示すことができる。異なるモデルはそれぞれ半導体デバイスに関連する1つのデータ構造に関連付けることができる。したがって、デバイスモデルツリーにより、半導体製造デバイスに関連するデータ構造間の関連関係を明らかに示すことができる。上記デバイスモデルツリーは最終的に工場の管理システムとデータ収集アプリケーションに提供され得る。データ収集アプリケーションはSEMI InterfaceA基準に従って、収集された半導体デバイスに関連するデータを対応するモデルに関連するデータ構造に記憶することができ、工場の管理システムのサーバはSEMI InterfaceA基準に従って、対応するモデルに関連するデータ構造から対応する半導体デバイスに関連するデータを読み取ることができる。
デバイスモデルツリーでは、各モデルをそれぞれ1つのノードとする。
デバイスモデルツリーにおける各モデルについては、少なくとも1つの親ノード及び/又は少なくとも1つのサブノードをいずれも有する。
本願では、デバイスモデルオブジェクトにおける同一のモデルは対応する目標モデルのサブノードとしてデバイスモデルツリーに複数回追加することができる。
デバイスモデルオブジェクトにおける1つのモデルについては、該モデルをデバイスモデルツリーに追加するたびに、いずれも該モデルのデバイスモデルツリーにおける名称を修正することができる。デバイスモデルツリーには、異なる位置にある、該モデルのタイプと同じで名称のみが異なるモデルが複数含まれていてもよい。
図2を参照し、それは半導体デバイスモデリング時のデバイスモデルオブジェクトとデバイスモデルツリーを表す効果の概略図である。
示されたデバイスモデルオブジェクトでは、サブノードはデバイスモデルオブジェクトにおけるモデル、例えば「Hierarchy」の各項目、「Parameter」、「Event」、「Exceptions」の各項目、「State Machines」の各項目などである。デバイスモデルツリーでは、従属関係に従ってデバイスモデルツリーにおける一部のモデルを表す。ユーザは、サブノードを有するモデルの左側の「+」をクリックすることにより、該モデルのサブノードとしての各モデルをさらに表すことができる。
いくつかの実施例では、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップは、予め作成されたジェネリックに基づく関数を利用し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するテップを含み、ジェネリックに基づく関数の仮パラメータは、ソースコントロールのソースコントロールオブジェクトを受信するための仮パラメータ、目標コントロールの目標コントロールオブジェクトを受信するための仮パラメータを含み、ジェネリックに基づく関数は、呼び出されたとき、リフレクションによりソースコントロールオブジェクトのタイプと目標コントロールオブジェクトのタイプを決定し、これによりソースコントロールのタイプと目標コントロールのタイプを決定することに用いられる。
本願では、C#言語を利用してデバイスモデリングアプリケーションを開発することができる。デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するとき、予め定義されたジェネリックに基づく関数を利用してソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定することができる。
ジェネリックに基づく関数はジェネリックタイプの2つの仮パラメータを有し、ジェネリックタイプの2つの仮パラメータのタイプはいずれもC#言語におけるジェネリックタイプに属するTパラメータタイプであってもよい。
デバイスオブジェクトを表すための各コントロールのタイプとデバイスモデルツリーを表すための各コントロールのタイプをいずれもC#言語におけるTパラメータタイプのベースクラスと定義することができる。これにより、ジェネリックに基づく関数のジェネリックタイプの2つの仮パラメータにおける1つの仮パラメータはソースコントロールのタイプを示すオブジェクトを受信することができるジェネリックタイプの仮パラメータとしてもよく、別の仮パラメータは目標コントロールのタイプを示すオブジェクトを受信することができるジェネリックタイプの仮パラメータとしてもよい。
デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定する必要がある場合、メインプログラムによってソースコントロールコードの記憶位置と目標コントロールコードの記憶位置から、ソースコントロールのタイプを示すオブジェクト、目標コントロールのタイプを示すオブジェクトをそれぞれ取得し、ジェネリックに基づく関数を呼び出し、ソースコントロールのタイプを示すオブジェクト、目標コントロールのタイプを示すオブジェクトを実際のパラメータとして入力することができる。ソースコントロールのタイプを示すオブジェクトは実際のパラメータとして目標コントロールのタイプを示すオブジェクトを受信することができるジェネリックタイプの仮パラメータに伝送することができる。
これにより、ジェネリックに基づく関数は、呼び出されたとき、ソースコントロールのタイプを示すオブジェクトに基づき、C#言語のリフレクションメカニズムを介してソースコントロールのタイプを得ること、及び目標コントロールのタイプを示すオブジェクトに基づき、C#言語のリフレクションメカニズムを介して目標コントロールのタイプを得ることに用いられる。
ステップ102、ソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、追加対象モデルの情報と目標モデルの情報を検証し、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定する。
本願では、ソースコントロールのタイプと目標コントロールのタイプを決定した後、ソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得することができる。
ソースコントロールのタイプと目標コントロールのタイプは1つのコントロールタイプの組み合わせを構成するようにしてもよい。
したがって、ソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュールはソースコントロールのタイプと目標コントロールのタイプで構成されるコントロールタイプの組み合わせに対応する検証モジュールであってもよい。
本願では、デバイスモデルオブジェクトを表せるソースコントロールのタイプはデバイスモデルオブジェクトの候補コントロールタイプと呼ばれてもよい。
デバイスモデルツリーを表せる目標コントロールのタイプはデバイスモデルツリーの候補コントロールタイプと呼ばれてもよい。
デバイスモデルオブジェクトの候補コントロールタイプ、デバイスモデルツリーの候補コントロールタイプを組み合わせることにより、複数のコントロールタイプの組み合わせを得ることができる。
本願では、デバイスモデリングアプリケーションはメインプログラムとは個別に実行する検証モジュールを複数含んでもよい。
各検証モジュールはそれぞれ1つのコントロールタイプの組み合わせに対応するようにしてもよい。
これに対応して、各検証モジュールについては、該検証モジュールに対応するコントロールタイプの組み合わせにおける1つのコントロールタイプと別のコントロールタイプの両方に対応する。
例えば、デバイスモデルオブジェクトのすべての候補コントロールタイプはListViewタイプ、TreeViewタイプを含む。デバイスモデルツリーのすべての候補コントロールタイプはListViewタイプ、TreeViewタイプを含む。
デバイスモデルオブジェクトの候補コントロールタイプ、デバイスモデルツリーの候補コントロールタイプを組み合わせることにより、4つのコントロールタイプの組み合わせを得ることができる。1番目のコントロールタイプの組み合わせがTreeViewタイプ、TreeViewタイプを含み、2番目のコントロールタイプの組み合わせがListViewタイプ、TreeViewタイプを含み、3番目のコントロールタイプの組み合わせがTreeViewタイプ、ListViewタイプを含み、4番目のコントロールタイプの組み合わせがListViewタイプ、ListViewタイプを含むと仮定すると、
これに対応して、デバイスモデリングアプリケーションは4つの検証モジュールを含み、各検証モジュールはそれぞれ1つのコントロールタイプの組み合わせに対応する。
デバイスモデルオブジェクトを表すためのソースコントロールのタイプがListViewタイプであり、デバイスモデルツリーを表すための目標コントロールのタイプがTreeViewタイプであると仮定すると、ListViewタイプとTreeViewタイプで構成されるコントロールタイプの組み合わせに対応する検証モジュールによって選択された追加対象モデルの情報と選択された目標モデルの情報を取得する。
デバイスモデルオブジェクトを表すためのソースコントロールについては、デバイスモデルオブジェクトにおける各モデル情報はそれぞれソースコントロールの1つのノードに対応する。
デバイスモデルツリーを表すための目標コントロールについては、デバイスモデルツリーにおける各モデル情報はそれぞれ目標コントロールの1つのノードに対応する。
デバイスモデリングを行うとき、デバイスモデルオブジェクトにおける1つの追加対象モデルが選択される場合、デバイスモデルオブジェクトを表すためのソースコントロールにとって、ソースコントロールにおける選択された追加対象モデル情報に対応する1つのノードが選択されたことを意味する。ソースコントロールの属性情報に現在選択されているノードの識別子が記録されている。ソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュール、すなわち、ソースコントロールのタイプと目標コントロールのタイプで構成されるコントロールタイプの組み合わせに対応する検証モジュールによって、ソースコントロールの属性情報の記憶位置から現在選択されているノードの識別子を取得し、これにより選択された追加対象モデル情報に対応する該ノードが選択されたことを決定する。選択された追加対象モデル情報に対応する該ノードの属性情報は該追加対象モデルの情報を含み、該追加対象モデルの情報は他のモデルと区別可能な該追加対象モデルの一意の識別子であってもよい。これにより、選択された追加対象モデルの情報を最終的に取得することができる。
デバイスモデリングを行うとき、デバイスモデルツリーにおける1つの目標モデル情報が選択される場合、デバイスモデルツリーを表すための目標コントロールにとって、目標コントロールにおける選択された目標モデル情報に対応する1つのノードが選択されたことを意味する。
ソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュール、すなわち、ソースコントロールのタイプと目標コントロールのタイプで構成されるコントロールタイプの組み合わせに対応する検証モジュールによって、目標コントロールの属性情報の記憶位置から現在選択されているノードの識別子を取得し、これにより選択された目標モデルに対応する該ノードが選択されたことを決定する。選択された目標モデルに対応する該ノードの属性情報は該目標モデルの情報を含み、該目標モデルの情報は他のモデルと区別可能な該目標モデルの一意の識別子であってもよい。これにより、選択された目標モデルの情報を最終的に取得することができる。
例えば、デバイスモデルオブジェクトを表すためのソースコントロールのタイプはListViewタイプであり、デバイスモデルツリーを表すための目標コントロールのタイプはTreeViewタイプであり、ListViewタイプとTreeViewタイプに対応する検証モジュール、すなわちListViewタイプとTreeViewタイプで構成されるコントロールタイプの組み合わせに対応する検証モジュールを利用し、選択された追加対象モデル情報と選択された目標モデル情報を取得する。
本願では、ソースコントロールのタイプが変わる場合及び/又は目標コントロールのタイプが変わる場合、メインプログラムのコードを変更する必要がない。
例えば、デバイスモデルオブジェクトを表すためのソースコントロールのタイプはListViewであり、デバイスモデルツリーを表すための目標コントロールのタイプはTreeViewである。
デバイスモデルオブジェクトを表すためのソースコントロールのタイプがListViewからTreeViewに変更し、デバイスモデルツリーを表すための目標コントロールのタイプが依然としてTreeViewである場合、TreeViewタイプとTreeViewタイプで構成されるコントロールタイプの組み合わせに対応する検証モジュールによって検証すればよいが、メインプログラムのコードを変更する必要がない。
本願では、ソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュールによって選択された追加対象モデル情報と選択された目標モデル情報を取得した後、ソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュールによって予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、追加対象モデルの情報と目標モデルの情報を検証し、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定する。
デバイスモデリングタイプ検証基準ライブラリは、デバイスモデルオブジェクトにおける各モデルの情報、デバイスモデルオブジェクトにおける各モデルにそれぞれ対応するデバイスモデリングタイプ検証基準を含んでもよい。
デバイスモデルオブジェクトにおける各モデルについては、該モデルの情報と該モデルに対応するデバイスモデリングタイプ検証基準はデバイスモデリングタイプ検証基準ライブラリに対応して記憶されている。
デバイスモデルオブジェクトにおける各モデルについては、該モデルに対応するデバイスモデリングタイプ検証基準は、デバイスモデルツリーにおける該モデルの親ノードになり得るモデルのすべてのタイプを含んでもよい。
追加対象モデルの情報と目標モデルの情報を検証し、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定するとき、まず追加対象モデルの情報に従って、デバイスモデリングタイプ検証基準ライブラリから追加対象モデルに対応するデバイスモデリングタイプ検証基準を検索することができる。次に、追加対象モデルに対応するデバイスモデリングタイプ検証基準からデバイスモデルツリーにおける、追加対象モデルの親ノードになり得るモデルのすべてのタイプをさらに取得する。最後に、デバイスモデルツリーにおける、該追加対象モデル情報の親ノードになり得るモデルのすべてのタイプが目標モデルの情報のタイプを含むか否かを決定することができる。デバイスモデルツリーにおける、該追加対象モデル情報の親ノードになり得るモデルのすべてのタイプが目標モデルの情報のタイプを含むと決定する場合、追加対象モデル情報が目標モデル情報のサブノードとしてデバイスモデルツリーに追加され得ると決定することができる。
いくつかの実施例では、デバイスモデリングタイプ検証基準ライブラリはデータ収集基準に基づくデバイスモデリングタイプ検証基準を含む。
本願では、データ収集基準はSEMI InterfaceA基準であってもよい。
デバイスモデルオブジェクトにおける各モデルについては、該モデルがどのようなタイプのモデルのサブノードとしてデバイスモデルツリーに存在できるかはSEMI InterfaceA基準に定義され得る。SEMI InterfaceA基準に基づき、デバイスモデルオブジェクトにおける各モデルにそれぞれ対応するSEMI InterfaceA基準に基づくデバイスモデリングタイプ検証基準を予め確立し、デバイスモデリングタイプ検証基準ライブラリを得る。
いくつかの実施例では、現在追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定するための、予め設定されたデバイスモデリングタイプ検証基準ライブラリについては、予め設定されたデバイスモデリングタイプ検証基準ライブラリにおける該デバイスモデリングタイプ検証基準が依拠するデータ収集基準は複数のバージョンのデータ収集基準における現在採用されているバージョンのデータ収集基準である。
現在採用されているバージョンのデータ収集基準は複数のバージョンのSEMI InterfaceA基準における現在使用されているSEMI InterfaceA基準であってもよい。
例えば、1105バージョンのSEMI InterfaceA基準、0710バージョンのSEMI InterfaceA基準を予め定義し、現在のバージョンは0710バージョンのSEMI InterfaceA基準である。具体的には、現在どのバージョンのSEMI InterfaceA基準を使用しているかは、データ収集アプリケーションと工場の半導体製造デバイスとのデータ伝送需要、工場管理システムのサーバと工場の半導体製造デバイスとのデータ伝送需要に応じて決定される。
本願では、各バージョンのSEMI InterfaceA基準に対し、それぞれ該バージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリを予め確立することができる。
これに対応して、各バージョンのSEMI InterfaceA基準については、該バージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリにおけるデバイスモデリングタイプ検証基準は該バージョンのSEMI InterfaceA基準に基づくデバイスモデリングタイプ検証基準である。
現在採用されているSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリを現在追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定するための、予め設定されたデバイスモデリングタイプ検証基準ライブラリとする。
ステップ103、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する。
本願では、追加対象モデル情報が目標モデル情報のサブノードとしてデバイスモデルツリーに存在できると決定した後、検証結果をユーザに表示することができる。
追加対象モデル情報が目標モデル情報のサブノードとしてデバイスモデルツリーに追加され得ると決定する場合、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果をユーザに表示する。例えば、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに追加され得ることを指示するラベルをユーザに表示する。
追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに追加され得ないと決定する場合、追加対象モデルが目標モデル情報のサブノードとしてデバイスモデルツリーに追加され得ないことを指示する検証結果をユーザに表示する。例えば、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに追加され得ないことを指示するラベルをユーザに表示する。
いくつかの実施例では、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できると決定する場合、追加対象モデル情報が目標モデル情報のサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示するステップは、追加対象モデル情報が目標モデル情報のサブノードとしてデバイスモデルツリーに存在できるという検証結果を表示するステップを含み、追加対象モデル情報が目標モデル情報のサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示するステップ後、ユーザの追加確認操作に応答し、追加対象モデルを目標モデルのサブノードとしてデバイスモデルツリーに追加するステップをさらに含む。
検証結果が追加対象モデルが目標モデルのサブノードとすることができることを指示する場合、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに追加され得ることを指示する検証結果をユーザに表示した後、ユーザは追加対象モデルをデバイスモデルツリーに追加すると決定すると、ユーザは追加確認操作を行うことができる。ユーザの追加確認操作に応答し、追加対象モデルを目標モデルのサブノードとしてデバイスモデルツリーに追加できる。
いくつかの実施例では、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できると決定する場合、該追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示するステップは、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるという検証結果を表示するステップを含み、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示するステップの後、ユーザの追加放棄操作に応答し、追加対象モデルをデバイスモデルツリーに追加することを放棄するステップをさらに含む。
追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに追加され得ることを指示する検証結果をユーザに表示した後、ユーザは追加対象モデルをデバイスモデルツリーを追加することを放棄すると、ユーザは追加放棄操作を行うことができる。ユーザの追加放棄操作に応答し、該追加対象モデルを該デバイスモデルツリーに追加することを放棄することができる。
いくつかの実施例では、データ収集基準の変更に応答し、デバイスモデリングタイプ検証基準ライブラリにおける該データ収集基準に基づくデバイスモデリングタイプ検証基準を修正する。
本願では、いずれかのバージョンのデータ収集基準が変わっても、変わったデータ収集基準のデバイスモデリングタイプ検証基準ライブラリにおける、該データ収集基準に基づく対応するデバイスモデリングタイプ検証基準を修正し、対応する更新されたデバイスモデリングタイプ検証基準ライブラリを得ることができる。
複数のバージョンのSEMI InterfaceA基準における現在採用されているバージョンのSEMI InterfaceA基準を例にし、デバイスモデリングオブジェクトにおける少なくとも1つのモデルについては、現在採用されているバージョンのSEMI InterfaceA基準によって定義された、該モデルの親ノードになり得るタイプが変わる場合、現在採用されているバージョンのSEMI InterfaceA基準の変更を引き起こす。
現在採用されているバージョンのSEMI InterfaceA基準が変わる場合、現在採用されているバージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリにおける、現在採用されているバージョンのSEMI InterfaceA基準に基づく対応するデバイスモデリングタイプ検証基準、すなわち上記親ノードのタイプの変わった各モデルにそれぞれ対応するデバイスモデリングタイプ検証基準を修正し、更新された、現在採用されているバージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリを得ることができる。
言い換えれば、現在採用されているバージョンのSEMI InterfaceA基準、デバイスモデルオブジェクトにおける、その親ノードとすることができるモデルのタイプが変わったモデルについては、現在採用されているバージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリにおける、該モデルに対応するデバイスモデリングタイプ検証基準を修正し、更新された、現在採用されているバージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリを得る。
本願では、いずれかのバージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリはいずれもメインプログラムとは個別に実行し、また、いずれかのバージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリにおけるいずれかのデバイスモデリングタイプ検証基準はいずれもメインプログラムとは個別に実行する。
いずれかのバージョンのSEMI InterfaceA基準が変わっても、変わったバージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリにおける、変わったバージョンのSEMI InterfaceA基準に基づく対応するデバイスモデリングタイプ検証基準を対応して修正することができる。
これにより、いずれかのバージョンのSEMI InterfaceA基準については、該バージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリを、現在追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定するための、予め設定されたデバイスモデリングタイプ検証基準ライブラリとすると、該バージョンのSEMI InterfaceA基準が変わった場合には、更新された、該バージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリを生成することができる。
該バージョンのSEMI InterfaceA基準が変わった後、更新された、該バージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリを、現在追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定するための、予め設定されたデバイスモデリングタイプ検証基準ライブラリとすることができ、これにより、後の検証プロセスに追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定する。
いずれかのバージョンのSEMI InterfaceA基準については、該バージョンのSEMI InterfaceA基準デバイスのモデリングタイプ検証基準ライブラリを現在追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定するための、予め設定されたデバイスモデリングタイプ検証基準ライブラリとすると、該バージョンのSEMI InterfaceA基準が変わった場合には、メインプログラムに検証プロセスに関連するコードを含まないため、メインプログラムのコードを修正する必要がなく、すなわちメインプログラムのコードを再作成する必要がなく、また、検証モジュールの検証プロセスに関連するコードを修正する必要がない。これにより、デバイスモデリングアプリケーションのメンテナンスを容易にし、また、デバイスモデリングのコードの実行効率を向上させ、SEMI InterfaceA基準の変更による大量のコード再作成を回避し、開発コストを節約し、且つメンテナンスのコストを低減させる。
図3を参照し、それはデバイスモデリングのプロセスの概略図である。
デバイスモデリングアプリケーションを起動する。
モデルファイルを新規作成する。新規作成されたモデルファイルにはデバイスモデルオブジェクトが含まれている。
デバイスモデルオブジェクトから追加対象モデル情報Model Object1を選択する。
デバイスモデルツリーにおける対応するノードParent Node1すなわち目標モデルにドラッグする。
ソースコントロールのタイプと目標コントロールのタイプを取得する。
タイプ検証プールには複数の検証モジュール、複数の異なるバージョンのSEMI InterfaceAのデバイスモデリングタイプ検証基準ライブラリが統合される。
タイプ検証プールにおけるソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュールによって、現在のバージョンのSEMI InterfaceAに基づくデバイスモデリングタイプ検証基準に従って検証比較を行い、選択された追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに追加され得るか否かを決定し、フィードバック結果を得る。
タイプ検証プールはフィードバック結果をメインプログラムにフィードバックする。
フィードバック結果が追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに追加され得ることである場合、追加され得ることを指示するラベルを表す。Model Object1をParent Node1のサブノードとしてデバイスモデルツリーに追加する。
フィードバック結果が追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに追加され得ないことである場合、追加され得ないことを指示するラベルを表す。
図4を参照し、それはデバイスモデリングの原理の概略図である。
図4では、ソースコントロールのタイプがTreeViewタイプであり且つ目標コントロールのタイプがTreeViewタイプであり、ソースコントロールのタイプがListViewタイプであり且つ目標コントロールのタイプがTreeViewタイプであり、ソースコントロールのタイプがTreeViewタイプであり且つ目標コントロールのタイプがListViewタイプであるという3種の表示状況を示す。
どの表示状況であっても、対応する検証モジュールを採用して検証すればよい。いずれかの検証モジュールはいずれもメインプログラムとは個別に実行する。
デバイスモデルオブジェクトを表すためのソースコントロールのタイプがListViewタイプであり、デバイスモデルツリーを表すための目標コントロールのタイプがTreeViewタイプである場合、ソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュール、すなわちListViewタイプとTreeViewタイプで構成されるコントロールタイプの組み合わせに対応する検証モジュールを利用する。
また、ある表示状況から別の表示状況に変更する際に、メインプログラムのコードを修正する必要がない。
例えば、デバイスモデルオブジェクトを表すためのソースコントロールのタイプはListViewタイプであり、デバイスモデルツリーを表すための目標コントロールのタイプはTreeViewタイプであり、デバイスモデルオブジェクトを表すためのソースコントロールのタイプがListViewタイプからTreeViewタイプに変更するとき、デバイスモデルツリーを表すための目標コントロールのタイプが依然としてTreeViewタイプである場合、TreeViewタイプとTreeViewタイプで構成されるコントロールタイプの組み合わせに対応する検証モジュールによって検証すればよく、メインプログラムのコードを変更する必要がない。
いずれかのバージョンのSEMI InterfaceA基準が変わっても、変わったバージョンのSEMI InterfaceA基準のデバイスモデリングタイプ検証基準ライブラリにおける、変わったバージョンのSEMI InterfaceA基準に基づくデバイスモデリングタイプ検証基準を対応して修正することができる。メインプログラムに検証コードを含まないため、いずれかのバージョンのSEMI InterfaceA基準が変わっても、メインプログラムのコードを修正する必要がなく、また、検証プロセスに関連するコードを修正する必要がない。
図4では、ジェネリックに基づく関数はValidation(Type、Type)で示される。メインプログラムによってValidation(Type、Type)を呼び出して、ソースコントロールのタイプを示すオブジェクト、目標コントロールのタイプを示すオブジェクトを実際のパラメータとして入力することができる。Validation(Type、Type)は、呼び出されたとき、ソースコントロールのタイプを示すオブジェクトに基づき、C#言語のリフレクションメカニズムによりソースコントロールのタイプを得ること、及び目標コントロールのタイプを示すオブジェクトに基づき、C#言語のリフレクションメカニズムにより目標コントロールのタイプを得ることに用いられる。
なお、上記ステップ101~103は、例示的に選択された追加対象モデルがデバイスモデルツリーにおける目標モデルのサブノードとするか否かを検証するプロセスに必要な操作を説明する。
また、なお、半導体デバイスモデリングを行うとき、ユーザはデバイスモデルオブジェクトにおける1つのモデルを1つの目標モデルのサブノードとしてデバイスモデルツリーに追加しようとするたびに、上記ステップ101~103を実行することができる。
図5を参照し、それは本願の実施例に係る半導体デバイスのモデリング装置の構造ブロック図を示す。半導体デバイスモデリングは、決定ユニット501と、検証ユニット502と、フィードバックユニット503とを含む。
決定ユニット501は、追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するように構成され、追加指示操作はデバイスモデルオブジェクトにおける追加対象モデルとデバイスモデルツリーにおける目標モデルを選択することに用いられる。
検証ユニット502は、ソースコントロールのタイプと目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、追加対象モデルの情報と目標モデルの情報を検証し、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを決定するように構成される。
フィードバックユニット503は、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示するように構成される。
いくつかの実施例では、決定ユニット501は、さらに、予め作成されたジェネリックに基づく関数を利用し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するように構成され、ジェネリックに基づく関数の仮パラメータは、ソースコントロールのソースコントロールオブジェクトを受信するための仮パラメータ、目標コントロールの目標コントロールオブジェクトを受信するための仮パラメータを含み、ジェネリックに基づく関数は、呼び出されたとき、リフレクションによりソースコントロールオブジェクトのタイプと目標コントロールオブジェクトのタイプを決定し、これによりソースコントロールのタイプと目標コントロールのタイプを決定することに用いられる。
いくつかの実施例では、フィードバックユニット503は、さらに、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できると決定する場合、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるという検証結果を表示するように構成される。
半導体デバイスのモデリング装置は、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果をフィードバックユニット503によって表示するステップの後、ユーザの追加確認操作に応答し、追加対象モデルを目標モデルのサブノードとしてデバイスモデルツリーに追加するように構成される追加ユニットをさらに含む。
いくつかの実施例では、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できると決定する場合、フィードバックユニット503は、さらに、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるという検証結果を表示するように構成される。
半導体デバイスのモデリング装置は、追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果をフィードバックユニット503によって表示するステップの後、ユーザの追加放棄操作に応答し、追加対象モデルをデバイスモデルツリーに追加することを放棄するように構成される追加放棄ユニットをさらに含む。
いくつかの実施例では、追加指示操作は、選択された追加対象モデルを選択された目標モデルの位置にドラッグすることを含む。
いくつかの実施例では、ソースコントロールのタイプはTreeViewおよびListViewのうちの1つであり、目標コントロールのタイプはTreeViewおよびListViewのうちの1つである。
いくつかの実施例では、データ収集基準は複数のバージョンのデータ収集基準における現在採用されているバージョンのデータ収集基準である。
いくつかの実施例では、半導体デバイスのモデリング装置は、データ収集基準の変更に応答し、デバイスモデリングタイプ検証基準ライブラリにおける該データ収集基準に基づくデバイスモデリングタイプ検証基準を修正するように構成される修正ユニットをさらに含む。
本願は電子デバイスをさらに提供し、該電子デバイスは、1つ又は複数のプロセッサと、上記実施例で説明された操作を実行するための命令が含まれ得る1つ又は複数のプログラムを記憶するためのメモリを配置することができる。1つ又は複数のプログラムが1つ又は複数のプロセッサによって実行されると、1つ又は複数のプロセッサに上記実施例で説明された操作の命令を実行させる。
本願はコンピュータ可読媒体をさらに提供し、該コンピュータ可読媒体は電子デバイスに含まれるものであってもよく、単独で存在しており、電子デバイスに組み込まれていないものであってもよい。上記コンピュータ可読媒体には、1つ又は複数のプログラムが電子デバイスによって実行されると、電子デバイスに上記実施例で説明された操作を実行させる1つ又は複数のプログラムが担持される。
なお、本願に記載のコンピュータ可読媒体は、コンピュータ可読信号媒体又はコンピュータ可読記憶媒体、又は上記の2つの任意の組み合わせであってもよい。コンピュータ可読記憶媒体は、例えば、電気、磁気、光、電磁、赤外線、又は半導体のシステム、装置又はデバイス、又は任意以上の組み合わせを含んでもよいが、これらに限定されない。コンピュータ可読記憶媒体のより具体的な例としては、1つ又は複数の導線を有する電気的接続、ポータブルコンピュータディスク、ハードディスク、ランダムアクセスメモリ(RAM)、読み取り専用メモリ(ROM)、消去可能プログラマブル読み取り専用メモリ(EPROM又はフラッシュメモリ)、光ファイバ、ポータブルコンパクトディスク読み取り専用メモリ(CD-ROM)、光記憶デバイス、磁気記憶デバイス、又は上記の任意の適切な組み合わせを含んでもよいが、これらに限定されない。本願では、コンピュータ可読記憶媒体は、メッセージ実行システム、装置、又はデバイスによって使用されるか、又はそれらと組み合わせて使用されることができるプログラムを含むか又は記憶する任意の有形媒体であってもよい。一方、本願では、コンピュータ可読信号媒体は、コンピュータ可読プログラムコードを担持するベースバンド中に、又は搬送波の一部として伝播するデータ信号を含んでもよい。このように伝播するデータ信号は、電磁信号、光信号、又は上記の任意の適切な組み合わせを含むが、これらに限定されない多方面の形態を採用ことができる。コンピュータ可読信号媒体は、メッセージ実行システム、装置、又はデバイスによって使用され、又はそれらと組み合わせて使用されるプログラムを送信、伝播、又は伝送することができるコンピュータ可読記憶媒体以外の任意のコンピュータ可読媒体であってもよい。コンピュータ可読媒体に含まれるプログラムコードは、無線、電線、光ケーブル、RFなど、又は上記の任意の適切な組み合わせを含むがこれらに限定されない任意の適切な媒体で送信することができる。
図面におけるフローチャート及びブロック図は、本願の様々な実施例のシステム、方法及びコンピュータプログラム製品の実現可能なシステムアーキテクチャ、機能及び操作を示す。この点で、フローチャート又はブロック図の各ブロックは、所定の論理機能を実現するための1つ又は複数の実行可能なメッセージを含むモジュール、プログラムセグメント、又はコードの一部を表すことができる。なお、代替としての実装の中には、ブロックに示された機能が図面に示された順序とは異なる順序で発生することもある。例えば、連続的に表される2つのブロックは、実際には基本的に並列に実行されてもよく、関連する機能に応じて逆の順序で実行されることもある。なお、ブロック図及び/又はフローチャートにおける各ブロック、及びブロック図及び/又はフローチャートにおけるブロックの組み合わせは、所定の機能又は操作を実行する専用のハードウェアに基づくシステムで実現することができ、又は専用のハードウェアとコンピュータメッセージの組み合わせで実現することができる。
以上の説明は、本願の好適な実施例及び使用される技術的原理の説明にすぎない。当業者であれば理解されるように、本願に係る発明の範囲は、上記技術的特徴の特定の組み合わせにより形成された技術的実施例に限定されるものではなく、同時に述べた発明の構想から逸脱しない場合、上記技術的特徴又はその同等特徴の任意の組み合わせにより形成された他の技術的実施例を網羅する。例えば上記特徴は本願に開示された(限定されない)類似する機能を有する技術的特徴と相互に置換して技術的実施例が形成される。

Claims (10)

  1. 半導体デバイスのモデリング方法であって、
    追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップであって、前記追加指示操作は前記デバイスモデルオブジェクトにおける追加対象モデルと前記デバイスモデルツリーにおける目標モデルを選択することに用いられるステップと、
    前記ソースコントロールのタイプと前記目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、前記追加対象モデルの情報と前記目標モデルの情報を検証し、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを決定するステップと、
    前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示するステップと、を含むことを特徴とする半導体デバイスのモデリング方法。
  2. デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定する前記ステップは、
    予め作成されたジェネリックに基づく関数を利用し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップを含み、
    前記ジェネリックに基づく関数の仮パラメータは、前記ソースコントロールのソースコントロールオブジェクトを受信するための仮パラメータ、前記目標コントロールの目標コントロールオブジェクトを受信するための仮パラメータを含み、前記ジェネリックに基づく関数は、呼び出されたとき、リフレクションにより前記ソースコントロールオブジェクトのタイプと前記目標コントロールオブジェクトのタイプを決定し、これにより前記ソースコントロールのタイプと前記目標コントロールのタイプを決定することに用いられることを特徴とする請求項1に記載の方法。
  3. 前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できると決定する場合、
    前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップは、
    前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるという検証結果を表示するステップを含み、
    前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップの後、ユーザの追加確認操作に応答し、前記追加対象モデルを前記目標モデルのサブノードとして前記デバイスモデルツリーに追加するステップをさらに含むことを特徴とする請求項1に記載の方法。
  4. 前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できると決定する場合、
    前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップは、
    前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるという検証結果を表示するステップを含み、
    前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップの後、ユーザの追加放棄操作に応答し、前記追加対象モデルを前記デバイスモデルツリーに追加することを放棄するステップをさらに含むことを特徴とする請求項1に記載の方法。
  5. 前記追加指示操作に応答するステップは、
    ユーザが表された前記デバイスモデルオブジェクトにおける1つの前記追加対象モデルを表された前記モデルデバイスツリーに位置する1つの前記目標モデルの位置にドラッグすることに応答するステップを含むことを特徴とする請求項1~4のいずれか1項に記載の方法。
  6. 前記ソースコントロールのタイプはTreeViewタイプおよびListViewタイプのうちの1つであり、前記目標コントロールのタイプはTreeViewタイプおよびListViewタイプのうちの1つであることを特徴とする請求項1~4のいずれか1項に記載の方法。
  7. 前記デバイスモデリングタイプ検証基準ライブラリはデータ収集基準に基づくデバイスモデリングタイプ検証基準を含むことを特徴とする請求項1~4のいずれか1項に記載の方法。
  8. 前記データ収集基準は複数のバージョンのデータ収集基準における現在採用されているバージョンのデータ収集基準であることを特徴とする請求項7に記載の方法。
  9. 前記データ収集基準の変更に応答し、前記デバイスモデリングタイプ検証基準ライブラリにおける前記データ収集基準に基づくデバイスモデリングタイプ検証基準を修正するステップをさらに含むことを特徴とする請求項8に記載の方法。
  10. 半導体デバイスのモデリング装置であって、
    追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するように構成される決定ユニットであって、前記追加指示操作はデバイスモデルオブジェクトにおける追加対象モデルとデバイスモデルツリーにおける目標モデルを選択することに用いられる決定ユニットと、
    前記ソースコントロールのタイプと前記目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、前記追加対象モデルの情報と前記目標モデルの情報を検証し、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを決定するように構成される検証ユニットと、
    前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示するように構成されるフィードバックユニットと、を含むことを特徴とする半導体デバイスのモデリング装置。
JP2022579028A 2020-07-15 2021-07-06 半導体デバイスのモデリング方法及び装置 Active JP7457168B2 (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
CN202010683246.9 2020-07-15
CN202010683246.9A CN111967137B (zh) 2020-07-15 2020-07-15 一种半导体设备建模方法及装置
PCT/CN2021/104679 WO2022012371A1 (zh) 2020-07-15 2021-07-06 一种半导体设备建模方法及装置

Publications (2)

Publication Number Publication Date
JP2023531931A true JP2023531931A (ja) 2023-07-26
JP7457168B2 JP7457168B2 (ja) 2024-03-27

Family

ID=73362115

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2022579028A Active JP7457168B2 (ja) 2020-07-15 2021-07-06 半導体デバイスのモデリング方法及び装置

Country Status (6)

Country Link
US (1) US20230267255A1 (ja)
JP (1) JP7457168B2 (ja)
KR (1) KR102583241B1 (ja)
CN (1) CN111967137B (ja)
TW (1) TWI803901B (ja)
WO (1) WO2022012371A1 (ja)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111967137B (zh) * 2020-07-15 2024-05-17 北京北方华创微电子装备有限公司 一种半导体设备建模方法及装置
CN113821005A (zh) * 2021-09-26 2021-12-21 北京北方华创微电子装备有限公司 半导体工艺设备数据采集系统和方法

Family Cites Families (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20030074206A1 (en) * 2001-03-23 2003-04-17 Restaurant Services, Inc. System, method and computer program product for utilizing market demand information for generating revenue
EP1498813A3 (en) 2003-03-06 2007-01-24 Microsoft Corporation Design time validation of systems
US8704824B2 (en) * 2010-09-29 2014-04-22 Siemens Product Lifecycle Management Software Inc. Integrated history-free and history-based modeling
CN107766042A (zh) * 2016-08-23 2018-03-06 南京中兴软件有限责任公司 一种基于csar的模型文件的可视化设计方法及装置
CN110024422B (zh) * 2016-12-30 2023-07-18 英特尔公司 物联网的命名和区块链记录
US11023441B2 (en) * 2017-05-11 2021-06-01 Oracle International Corporation Distributed storage and processing of hierarchical data structures
CN107957867B (zh) * 2017-10-30 2022-11-11 中国电力科学研究院有限公司 一种电力零售市场模型建模方法及系统
CN109189393A (zh) * 2018-07-24 2019-01-11 中国联合网络通信集团有限公司 业务处理方法及装置
CN110188454B (zh) * 2019-05-27 2021-01-15 北京建筑大学 建筑设备与建筑信息模型匹配方法及装置
CN111045992B (zh) * 2019-12-04 2023-07-25 中盈优创资讯科技有限公司 一种基于树形结构的配置文件检查方法及系统
CN111967137B (zh) * 2020-07-15 2024-05-17 北京北方华创微电子装备有限公司 一种半导体设备建模方法及装置

Also Published As

Publication number Publication date
CN111967137A (zh) 2020-11-20
WO2022012371A1 (zh) 2022-01-20
TW202219806A (zh) 2022-05-16
KR20230003650A (ko) 2023-01-06
US20230267255A1 (en) 2023-08-24
KR102583241B1 (ko) 2023-09-26
JP7457168B2 (ja) 2024-03-27
TWI803901B (zh) 2023-06-01
CN111967137B (zh) 2024-05-17

Similar Documents

Publication Publication Date Title
CN109634598B (zh) 一种页面显示方法、装置、设备及存储介质
CN110442641A (zh) 一种链路拓扑图展示方法、装置、存储介质及设备
CN108255709A (zh) 脚本测试代码编写的方法、装置、终端设备及存储介质
JP5941541B2 (ja) モバイル・アプリケーション開発のためのシステムおよび方法
JP2023531931A (ja) 半導体デバイスのモデリング方法及び装置
US8127269B2 (en) Transforming a flow graph model to a structured flow language model
CN108459792B (zh) 一种流量切换方法、装置、及计算机设备
US20200050540A1 (en) Interactive automation test
CN111949170A (zh) 一种配置任务流程的方法、装置和电子设备
JP2009501970A (ja) 有限状態マシンモデルの構築
US20140053021A1 (en) Automatic classification adjustment of recorded actions for automation script
CN108415695A (zh) 一种基于可视化组件的数据处理方法、装置和设备
CN111695827A (zh) 业务流程的管理方法、装置、电子设备及存储介质
US11789775B2 (en) Progress visualization of computational job
KR101996029B1 (ko) 네트워크 기능 가상화 시스템에 있어서, 네트워크 서비스 디스크립터를 설계하는 방법, 네트워크 서비스 디스크립터를 관리하는 방법 및 그 방법들을 구현하기 위한 시스템
CN114936152A (zh) 应用测试方法及设备
CN109683887A (zh) 一种支持多方案自定义web项目的构建方法及装置
CN114756224A (zh) 一种活动执行方法及装置
TWI738216B (zh) 事件處理文件的開發方法與裝置
CN114564854A (zh) 支持fmea双向关系树的数据节点的操作方法及设备
CN110704537A (zh) 智能合约的生成方法、装置、设备及存储介质
CN113806327A (zh) 一种数据库设计方法、装置及相关设备
CN111124393A (zh) 一种算法逻辑的编辑方法、平台、电子设备及存储介质
US8938709B2 (en) Multiple architecture viewpoints in single unified modeling language (UML) model
CN117742834A (zh) 一种低代码平台页面组件配置方法及装置

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20221227

A871 Explanation of circumstances concerning accelerated examination

Free format text: JAPANESE INTERMEDIATE CODE: A871

Effective date: 20230803

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20231017

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20231226

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: 20240305

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20240314

R150 Certificate of patent or registration of utility model

Ref document number: 7457168

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150