JP2023531931A - 半導体デバイスのモデリング方法及び装置 - Google Patents
半導体デバイスのモデリング方法及び装置 Download PDFInfo
- 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
Links
- 238000000034 method Methods 0.000 title claims abstract description 32
- 239000004065 semiconductor Substances 0.000 title claims abstract description 28
- 238000012795 verification Methods 0.000 claims abstract description 146
- 230000004044 response Effects 0.000 claims abstract description 17
- 238000013480 data collection Methods 0.000 claims description 29
- 238000010200 validation analysis Methods 0.000 claims description 15
- 238000012790 confirmation Methods 0.000 claims description 6
- 230000006870 function Effects 0.000 description 18
- 238000010586 diagram Methods 0.000 description 12
- 230000008569 process Effects 0.000 description 7
- 230000008859 change Effects 0.000 description 5
- 230000007246 mechanism Effects 0.000 description 4
- 230000003287 optical effect Effects 0.000 description 4
- 238000004519 manufacturing process Methods 0.000 description 3
- 230000005540 biological transmission Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000012423 maintenance Methods 0.000 description 2
- 230000009471 action Effects 0.000 description 1
- 238000004590 computer program Methods 0.000 description 1
- 239000004020 conductor Substances 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 239000013307 optical fiber Substances 0.000 description 1
- 230000000644 propagated effect Effects 0.000 description 1
- 230000001902 propagating effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/36—Circuit design at the analogue level
- G06F30/367—Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- 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
- 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
- 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/44—Arrangements for executing specific programs
- G06F9/445—Program loading or initiating
- G06F9/44521—Dynamic linking or loading; Link editing at or after load time, e.g. Java class loading
- G06F9/44526—Plug-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
Description
追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップであって、前記追加指示操作は前記デバイスモデルオブジェクトにおける追加対象モデルと前記デバイスモデルツリーにおける目標モデルを選択することに用いられるステップと、
前記ソースコントロールのタイプと前記目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、前記追加対象モデルの情報と前記目標モデルの情報を検証し、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを決定するステップと、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示するステップと、を含む半導体デバイスのモデリング方法を提供する。
予め作成されたジェネリックに基づく関数を利用し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップを含み、
前記ジェネリックに基づく関数の仮パラメータは、前記ソースコントロールのソースコントロールオブジェクトを受信するための仮パラメータ、前記目標コントロールの目標コントロールオブジェクトを受信するための仮パラメータを含み、前記ジェネリックに基づく関数は、呼び出されたとき、リフレクションにより前記ソースコントロールオブジェクトのタイプと前記目標コントロールオブジェクトのタイプを決定し、これにより前記ソースコントロールのタイプと前記目標コントロールのタイプを決定することに用いられる。
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるという検証結果を表示するステップを含み、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップの後、前記方法は、
ユーザの追加確認操作に応答し、前記追加対象モデルを前記目標モデルのサブノードとして前記デバイスモデルツリーに追加するステップをさらに含む。
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるという検証結果を表示するステップを含み、
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップの後、前記方法は、
ユーザの追加放棄操作に応答し、前記追加対象モデルを前記デバイスモデルツリーに追加することを放棄するステップをさらに含む。
ユーザが表された前記デバイスモデルオブジェクトにおける1つの前記追加対象モデルを表された前記モデルデバイスツリーに位置する1つの前記目標モデルの位置にドラッグすることに応答するステップを含む。
追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するように構成される決定ユニットであって、前記追加指示操作はデバイスモデルオブジェクトにおける追加対象モデルとデバイスモデルツリーにおける目標モデルを選択することに用いられる決定ユニットと、
前記ソースコントロールのタイプと前記目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、前記追加対象モデルの情報と前記目標モデルの情報を検証し、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを決定するように構成される検証ユニットと、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示するように構成されるフィードバックユニットと、を含む半導体デバイスのモデリング装置を提供する。
ユーザが表された前記デバイスモデルオブジェクトにおける1つの追加対象モデルを表されたモデルデバイスツリーに位置する1つの前記目標モデルの位置にドラッグすることに応答するステップを含んでもよい。
Claims (10)
- 半導体デバイスのモデリング方法であって、
追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップであって、前記追加指示操作は前記デバイスモデルオブジェクトにおける追加対象モデルと前記デバイスモデルツリーにおける目標モデルを選択することに用いられるステップと、
前記ソースコントロールのタイプと前記目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、前記追加対象モデルの情報と前記目標モデルの情報を検証し、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを決定するステップと、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示するステップと、を含むことを特徴とする半導体デバイスのモデリング方法。 - デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定する前記ステップは、
予め作成されたジェネリックに基づく関数を利用し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するステップを含み、
前記ジェネリックに基づく関数の仮パラメータは、前記ソースコントロールのソースコントロールオブジェクトを受信するための仮パラメータ、前記目標コントロールの目標コントロールオブジェクトを受信するための仮パラメータを含み、前記ジェネリックに基づく関数は、呼び出されたとき、リフレクションにより前記ソースコントロールオブジェクトのタイプと前記目標コントロールオブジェクトのタイプを決定し、これにより前記ソースコントロールのタイプと前記目標コントロールのタイプを決定することに用いられることを特徴とする請求項1に記載の方法。 - 前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できると決定する場合、
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップは、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるという検証結果を表示するステップを含み、
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップの後、ユーザの追加確認操作に応答し、前記追加対象モデルを前記目標モデルのサブノードとして前記デバイスモデルツリーに追加するステップをさらに含むことを特徴とする請求項1に記載の方法。 - 前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できると決定する場合、
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップは、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるという検証結果を表示するステップを含み、
前記追加対象モデルが目標モデルのサブノードとしてデバイスモデルツリーに存在できるか否かを指示する検証結果を表示する前記ステップの後、ユーザの追加放棄操作に応答し、前記追加対象モデルを前記デバイスモデルツリーに追加することを放棄するステップをさらに含むことを特徴とする請求項1に記載の方法。 - 前記追加指示操作に応答するステップは、
ユーザが表された前記デバイスモデルオブジェクトにおける1つの前記追加対象モデルを表された前記モデルデバイスツリーに位置する1つの前記目標モデルの位置にドラッグすることに応答するステップを含むことを特徴とする請求項1~4のいずれか1項に記載の方法。 - 前記ソースコントロールのタイプはTreeViewタイプおよびListViewタイプのうちの1つであり、前記目標コントロールのタイプはTreeViewタイプおよびListViewタイプのうちの1つであることを特徴とする請求項1~4のいずれか1項に記載の方法。
- 前記デバイスモデリングタイプ検証基準ライブラリはデータ収集基準に基づくデバイスモデリングタイプ検証基準を含むことを特徴とする請求項1~4のいずれか1項に記載の方法。
- 前記データ収集基準は複数のバージョンのデータ収集基準における現在採用されているバージョンのデータ収集基準であることを特徴とする請求項7に記載の方法。
- 前記データ収集基準の変更に応答し、前記デバイスモデリングタイプ検証基準ライブラリにおける前記データ収集基準に基づくデバイスモデリングタイプ検証基準を修正するステップをさらに含むことを特徴とする請求項8に記載の方法。
- 半導体デバイスのモデリング装置であって、
追加指示操作に応答し、デバイスモデルオブジェクトを表すためのソースコントロールのタイプとデバイスモデルツリーを表すための目標コントロールのタイプを決定するように構成される決定ユニットであって、前記追加指示操作はデバイスモデルオブジェクトにおける追加対象モデルとデバイスモデルツリーにおける目標モデルを選択することに用いられる決定ユニットと、
前記ソースコントロールのタイプと前記目標コントロールのタイプに対応する検証モジュールを利用し、選択された追加対象モデルの情報と選択された目標モデルの情報を取得し、予め設定されたデバイスモデリングタイプ検証基準ライブラリに基づき、前記追加対象モデルの情報と前記目標モデルの情報を検証し、前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを決定するように構成される検証ユニットと、
前記追加対象モデルが前記目標モデルのサブノードとして前記デバイスモデルツリーに存在できるか否かを指示する検証結果を表示するように構成されるフィードバックユニットと、を含むことを特徴とする半導体デバイスのモデリング装置。
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)
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)
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 | 北京北方华创微电子装备有限公司 | 一种半导体设备建模方法及装置 |
-
2020
- 2020-07-15 CN CN202010683246.9A patent/CN111967137B/zh active Active
-
2021
- 2021-07-06 US US18/041,120 patent/US20230267255A1/en active Pending
- 2021-07-06 KR KR1020227044375A patent/KR102583241B1/ko active IP Right Grant
- 2021-07-06 WO PCT/CN2021/104679 patent/WO2022012371A1/zh active Application Filing
- 2021-07-06 JP JP2022579028A patent/JP7457168B2/ja active Active
- 2021-07-09 TW TW110125317A patent/TWI803901B/zh active
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 |