WO2022012371A1 - 一种半导体设备建模方法及装置 - Google Patents
一种半导体设备建模方法及装置 Download PDFInfo
- Publication number
- WO2022012371A1 WO2022012371A1 PCT/CN2021/104679 CN2021104679W WO2022012371A1 WO 2022012371 A1 WO2022012371 A1 WO 2022012371A1 CN 2021104679 W CN2021104679 W CN 2021104679W WO 2022012371 A1 WO2022012371 A1 WO 2022012371A1
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- model
- type
- target
- added
- 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.)
- Ceased
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; 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 OR CALCULATING; 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
Definitions
- the present application relates to the field of semiconductors, and in particular, to a semiconductor device modeling method and apparatus.
- the main program of the equipment modeling application uses a specific type of control to display the equipment model object and the specific type of control to display the equipment model tree. Can be added to the equipment model tree to be checked as a child node of the selected model in the equipment model tree.
- the code related to verification that is, whether the selected model in the device model object can be added to the device model tree as a child node of the selected model in the device model tree is all integrated in the main program. .
- the verification can only be performed by the main program when the device model object is displayed with a specific type of control and the device model tree is displayed with a specific type of control.
- the device modeling application will All verification-related codes in the main program need to be refactored, resulting in high overhead in order to meet the display requirements of device modeling.
- the present application provides a semiconductor device modeling method and apparatus.
- a semiconductor device modeling method including:
- the type of the source control used to display the device model object and the type of the target control used to display the device model tree are determined, wherein the adding instruction operation is used to select the device model object to be added a model and a target model in the device model tree;
- the verification module corresponding to the type of the source control and the type of the target control to obtain the information of the selected model to be added and the information of the selected target model; based on the preset device modeling type verification criteria a library, which verifies the information of the model to be added and the information of the target model, and determines whether the model to be added can be used as a child node of the target model in the device model tree;
- a verification result indicating whether the model to be added can be used as a child node of the target model in the device model tree is displayed.
- the determining the type of the source control used to display the device model object and the type of the target control used to display the device model tree includes:
- the type of the source control used to display the device model object and the type of the target control used to display the device model tree are determined by using a pre-created generic-based function, wherein the formal parameters of the generic-based function include: Receive the formal parameters of the source control object of the source control, and the formal parameters used to receive the target control object of the target control, when the generic-based function is called, it is used to: determine the source control object through reflection and the type of the target control object to determine the type of the source control and the type of the target control.
- the display indicates whether the to-be-added model can be used as a target model in the device model tree.
- the verification results of the child nodes of including:
- the method further includes:
- the to-be-added model is added to the device model tree as a child node of the target model.
- the display indicates whether the to-be-added model can be used as a target model in the device model tree.
- the verification results of the child nodes of including:
- the method further includes:
- the operation in response to the addition indication comprises:
- the to-be-added model is located at a position of one of the target models in the displayed model device tree.
- the type of the source control is one of the following: TreeView type, ListView type
- the type of the target control is one of the following: TreeView type, ListView type.
- the device modeling type verification criteria library includes: device modeling type verification criteria based on data collection standards.
- the data collection standard is a currently adopted version of the data collection standard among the multiple versions of the data collection standard.
- an apparatus for modeling a semiconductor device including:
- a determining unit configured to determine a type of source control for displaying the device model object and a type of target control for displaying the device model tree in response to an adding instruction operation, wherein the adding instruction operation is used for selecting the device model object The model to be added in and the target model in the device model tree;
- the verification unit is configured to use the verification module corresponding to the type of the source control and the type of the target control to obtain the information of the selected model to be added and the information of the selected target model; based on the preset Device modeling type verification criteria library, verify the information of the model to be added and the information of the target model, and determine whether the model to be added can be used as a child of the target model in the device model tree node;
- the feedback unit is configured to display a verification result indicating whether the model to be added can be used as a child node of the target model in the device model tree.
- the semiconductor device modeling method and device realizes the use of a verification module independent of the main program to complete verification.
- the corresponding verification module can complete the selection of the model to be added in the device model object. Can be added to the equipment model tree as a check of the child node of the selected target model in the equipment model tree.
- the corresponding verification module can be used for verification.
- the corresponding verification module can be used for verification. Including the verification-related code, it will not have any impact on the main program, avoiding the need to refactor all verification-related codes in the main program of the device modeling application to meet the display requirements of device modeling. The problem.
- FIG. 1 shows a flowchart of a device modeling method provided by an embodiment of the present application
- FIG. 2 shows a schematic diagram of the effect of displaying a device model object and a device model tree when modeling a semiconductor device
- Figure 3 shows a schematic flow chart of equipment modeling
- Fig. 4 shows the principle schematic diagram of equipment modeling
- FIG. 5 shows a structural block diagram of an apparatus for modeling equipment provided by an embodiment of the present application.
- FIG. 1 shows a flowchart of a semiconductor device modeling method provided by an embodiment of the present application, and the method includes:
- Step 101 in response to the adding instruction operation, determine the type of the source control for displaying the device model object and the type of the target control for displaying the device model tree.
- the source control for presenting the device model object may refer to a control currently being used for presenting the device model object.
- the target widget for displaying the device model tree may refer to the widget currently being used for displaying the device model tree.
- the source control is of type ListView and the target control is of type TreeView.
- the device model object can be displayed to the user through a ListView type source control, and the device model tree can be displayed to the user through a TreeView type target control.
- the main program in the device modeling application can call the source control to display the device model object, and call the target control to display the device model tree.
- model in the device model object selected by the user during the modeling of the semiconductor device may be referred to as the model to be added.
- the model in the equipment model tree selected by the user during equipment modeling can be called the target model.
- the above-mentioned adding instruction operation in step 101 is used to select the model to be added in the device model object and the target model in the device model tree.
- operations in response to adding an indication may include:
- a click action may be performed first to select a model to be added in the device model object, and then a click action may be performed to select a target model in the model device tree. Drag the selected model to be added to the position of the selected target model.
- one click to select a to-be-added model in the device model object, and then drag the selected to-be-added model to the position of the corresponding target model.
- the above dragging action can be specifically: the user can drag an information item in the information displayed by a source control to the position of an information item in the information displayed by the target control, and after completing the dragging action, it will be The selected model to be added is dragged to the position of the selected target model.
- the above adding instruction operation is not limited to dragging and dropping.
- any other method can also be used to add a to-be-added model in the displayed device model objects to the displayed model device tree.
- the position of a target model for example, you can first select a model to be added in the device model object by a click action, and then use any gesture or action to add the to-be-added model to a target model located in the displayed model device tree s position.
- the addition instruction operation can be detected by the main program in the device modeling application.
- the module for determining the control type in the device modeling application can determine the type of the source control used to display the device model object and the type of the target control used to display the device model tree.
- the main program in the device modeling application does not need to consider the type of the source control, the type of the target control, and does not need to obtain the information of the selected corresponding model.
- the information of the selected corresponding model is acquired by the corresponding verification module.
- the user can select the corresponding model to be added in the equipment model object and the corresponding target model in the equipment model tree each time the user performs an adding instruction operation.
- the type of source control and the type of target control may be recorded in the configuration file of the device modeling application.
- the type of the source control used to display the device model object and the type of the target control used to display the device model tree can be obtained by reading the above configuration file.
- a device model object includes multiple models.
- Each model in the device model object can each be associated with a data structure related to the semiconductor device. For example, if the device is a robot, a model in the device model object is associated with a data structure that describes the robot's robotic arm. Another model in the device model object is associated with a data structure that stores parameters of a certain type for the robot.
- the relationship between different models in the device model tree can be clearly represented by the tree structure. Since different models can each be associated with a semiconductor device-related data structure. Therefore, through the equipment model tree, the association between different data structures related to semiconductor production equipment can be clearly represented.
- the above-mentioned equipment model tree can finally be provided to the management system and data acquisition application of the factory.
- the data acquisition application can store the collected data related to the semiconductor equipment in the data structure associated with the corresponding model according to the SEMI InterfaceA standard, and the server of the factory management system can follow the SEMI InterfaceA standard. The corresponding data related to the semiconductor device is read.
- each model is regarded as a node.
- the same model in the device model object can be added to the device model tree multiple times as a child node of the corresponding target model.
- the name of the model in the equipment model tree can be modified.
- the equipment model tree there can be multiple models located in different positions, which are of the same type as the model but with different names.
- FIG. 2 shows a schematic diagram of the effect of displaying a device model object and a device model tree when modeling a semiconductor device.
- the child nodes are the models in the device model object, such as each item under “Hierarchy”, “Parameter”, “Event”, each item under “Exceptions”, “State Machines” Each of the items below, etc.
- the equipment model tree a part of the model in the equipment model tree is displayed according to the subordinate relationship. The user clicks the "+" to the left of a model with child nodes to further display each model that is a child node of that model.
- determining the type of source control for presenting the device model object and the type of target control for presenting the device model tree comprises: utilizing a pre-created generics-based function to determine the source for presenting the device model object
- the type of the control and the type of the target control used to display the device model tree wherein the formal parameters of the generic-based function include: the formal parameters of the source control object used to receive the source control, the target control object used to receive the target control
- the formal parameters of the generic-based function are used to: determine the type of the source control object and the type of the target control object through reflection to determine the type of the source control and the type of the target control.
- a device modeling application can be developed using the C# language.
- a predefined generic-based function can be used to determine the type of the source control and the type of the source control used to display the device model tree. The type of the target control.
- a generic-based function has two formal parameters of the generic type, and the types of the formal parameters of the two generic types can be the T parameter type that belongs to the generic type in the C# language.
- Each type of control that can be used to display the device object and each type of control that can be used to display the device model tree can be defined in advance as the base class of the T parameter type in the C# language.
- one of the formal parameters of the two generic types of the generic-based function can be used as a formal parameter of the generic type that can receive an object representing the type of the source control, and the other formal parameter can be A formal parameter of the generic type of an object of type.
- the main program can use the storage location of the code of the source control and the storage location of the code of the target control, respectively.
- An object representing the type of the source control can be passed as an argument to a formal parameter of a generic type that can receive an object representing the type of the target control.
- the function based on generics when called, it is used to obtain the type of the source control through the reflection mechanism of the C# language based on the object representing the type of the source control; based on the object representing the type of the target control, through the reflection mechanism of the C# language Get the type of the target control.
- Step 102 use the verification module corresponding to the type of the source control and the type of the target control to obtain the information of the selected model to be added and the information of the selected target model; based on the preset equipment modeling type verification criterion library , check the information of the model to be added and the information of the target model, and determine whether the model to be added can be used as a child node of the target model in the device model tree.
- a verification module corresponding to the type of the source control and the type of the target control can be used to obtain the information of the selected model to be added and the selected target information about the model.
- the type of the source control and the type of the target control can form a control type combination.
- the verification module corresponding to the type of the source control and the type of the target control may refer to the verification module corresponding to the combination of the control types composed of the type of the source control and the type of the target control.
- the type of source control that can display the device model object may be referred to as the candidate control type of the device model object.
- the type of the target control that can display the device model tree can be called the candidate control type of the device model tree.
- the device modeling application may include multiple verification modules independent of the main program.
- Each verification module can correspond to a control type combination.
- each verification module it simultaneously corresponds to one control type and another control type in the control type combination corresponding to the verification module.
- all candidate control types for device model objects include: ListView type, TreeView type.
- All candidate control types of the device model tree include: ListView type, TreeView type.
- Combining the candidate control types of the device model object and the candidate control types of the device model tree four combinations of control types can be obtained. Assume that the first control type combination includes: TreeView type, TreeView type. The second control type combination includes: ListView type, TreeView type. The third control type combination includes: TreeView type, ListView type.
- the fourth control type combination includes: ListView type, ListView type.
- the device modeling application includes four verification modules, and each verification module corresponds to a control type combination.
- the verification module corresponding to the combination of the control types composed of the ListView type and the TreeView type , to obtain the information of the selected model to be added and the information of the selected target model.
- each model information in the device model object corresponds to a node of the source control.
- each model information in the device model tree corresponds to a node of the target control.
- a model to be added in the device model object when a model to be added in the device model object is selected, for the source control used to display the device model object, it is a source control corresponding to the selected model information to be added. Node is selected. The ID of the currently selected node is recorded in the attribute information of the source control.
- the verification module corresponding to the type of the source control and the type of the target control that is, the verification module corresponding to the combination of the control types composed of the type of the source control and the type of the target control, is obtained from the storage location of the attribute information of the source control
- the identifier of the currently selected node to determine that the node corresponding to the selected model information to be added is selected.
- the attribute information of the node corresponding to the selected model information to be added includes information of the model to be added, and the information of the model to be added may be a unique identifier of the model to be added that can be used to distinguish it from other models. Thus, the information of the selected model to be added can be finally obtained.
- a target model information in the equipment model tree is selected, for the target control used to display the equipment model tree, a node in the target control corresponding to the selected target model information is selected. .
- the verification module corresponding to the type of the source control and the type of the target control is obtained from the storage location of the attribute information of the target control Identification of the currently selected node to determine which node corresponding to the selected target model is selected.
- the attribute information of the node corresponding to the selected target model includes information of the target model, and the information of the target model may be a unique identifier of the target model that can be distinguished from other models. Thus, the information of the selected target model can be finally acquired.
- the type of the source control used to display the device model object is ListView type
- the type of the target control used to display the device model tree is the type of TreeView.
- the verification module of the combination of control types composed of types obtains the information of the selected model to be added and the selected target model information.
- the type of the source control used to display the device model object is ListView
- the type of the target control used to display the device model tree is TreeView.
- the combination of control types corresponding to the TreeView type and the TreeView type can be used.
- the verification module can be verified without changing the code of the main program.
- the The type verification module verifies the information of the model to be added and the information of the target model based on the preset equipment modeling type verification criterion library, and determines whether the to-be-added model can be used as a child node of the target model in the equipment model tree.
- the device modeling type verification criterion library may include: information of each model in the device model object, and device modeling type verification criteria corresponding to each model in the device model object.
- the information of the model and the equipment modeling type verification criterion corresponding to the model are stored in the equipment modeling type verification criterion library.
- the device modeling type verification criteria corresponding to the model may include: all types of models in the device model tree that can become parent nodes of the model.
- model information to be added can be added to the equipment model tree as the target Child node for model information.
- the device modeling type verification criteria library includes: device modeling type verification criteria based on data collection standards.
- the data acquisition standard may be the SEMI InterfaceA standard.
- the model can be defined in the SEMI InterfaceA standard as a child node of which types of models in the device model tree. Based on the SEMI InterfaceA standard, each model in the device model object can be pre-established corresponding to the device modeling type verification criteria based on the SEMI InterfaceA standard, and the device modeling type verification criteria library can be obtained.
- the preset device modeling type verification criterion library currently used to determine whether the model to be added can be used as a child node of the target model in the device model tree the preset device modeling type verification The data acquisition standard on which the device modeling type verification criterion in the verification criterion library is based is the currently adopted version of the data acquisition standard among the multiple versions of the data acquisition standard.
- the currently adopted version of the data acquisition standard may refer to the currently used SEMI InterfaceA standard among the multiple versions of the SEMI InterfaceA standard.
- the 1105 version of the SEMI InterfaceA standard and the 0710 version of the SEMI InterfaceA standard are predefined, and the current version is the 0710 version of the SEMI InterfaceA standard.
- Which version of the SEMI InterfaceA standard is currently used is determined according to the data transmission requirements of the data acquisition application and the semiconductor production equipment in the factory, and the data transmission requirements of the server of the factory management system and the semiconductor production equipment in the factory.
- a device modeling type verification criterion library of the version of the SEMI InterfaceA standard can be established respectively.
- the device modeling type verification criteria in the device modeling type verification criteria library of this version of the SEMI InterfaceA standard are based on the device modeling type verification of this version of the SEMI InterfaceA standard. test criteria.
- Step 103 displaying a verification result indicating whether the model to be added can be used as a child node of the target model in the device model tree.
- the verification result can be displayed to the user.
- a verification result indicating that the to-be-added model can be added to the equipment model tree as a child node of the target model information is displayed to the user. For example, a marker is displayed to the user indicating that the model to be added can be added to the equipment model tree as a child node of the target model.
- the user is shown the verification result indicating that the to-be-added model cannot be added to the equipment model tree as a child node of the target model information .
- a marker is displayed to the user indicating that the model to be added cannot be added to the equipment model tree as a child node of the target model.
- a verification result indicating whether the model information to be added can be used as a child node of the target model information in the device model tree is displayed, Including: displaying the verification result of the model information to be added can be used as the child node of the target model information in the equipment model tree; and displaying the verification result indicating whether the model information to be added can be used as the child node of the target model information in the equipment model tree
- the method further includes: in response to the user's adding confirmation operation, adding the to-be-added model to the device model tree as a child node of the target model.
- the verification result indicates that the model to be added can be used as a child node of the target model
- the verification result indicates that the model to be added can be added to the device model tree as a child node of the target model is displayed to the user
- the user determines to After the model to be added is added to the device model tree, the user can perform the addition confirmation operation.
- the model to be added can be added to the device model tree as a child node of the target model in response to the user's adding confirmation operation.
- a verification result indicating whether the model to be added can be used as a child node of the target model in the device model tree is displayed, including : display the verification result that the model to be added can be used as a child node of the target model in the equipment model tree; and after displaying the verification result indicating whether the model to be added can be used as a child node of the target model in the equipment model tree, It also includes: in response to the user's adding and abandoning operation, abandoning adding the to-be-added model to the device model tree.
- the user After displaying to the user the verification result indicating that the to-be-added model can be added to the device model tree as a child node of the target model, if the user abandons adding the to-be-added model to the device model tree, the user may perform an add abandonment operation.
- the to-be-added model can be discarded from being added to the device model tree in response to the user's adding and discarding operation.
- the device modeling type validation criteria in the device modeling type validation criteria library based on the data collection criteria are modified.
- the corresponding equipment modeling type based on the data acquisition standard in the equipment modeling type verification criterion library of the changed data acquisition standard can be verified.
- the criteria are modified to obtain the corresponding updated equipment modeling type verification criteria library.
- the model defined in the currently adopted version of the SEMI InterfaceA standard can become the parent of the model.
- the type of the node changes, it will cause the current version of the SEMI InterfaceA standard to change.
- the corresponding device modeling based on the currently adopted version of the SEMI InterfaceA standard in the device modeling type verification criterion library of the currently adopted version of the SEMI InterfaceA standard can be modeled Type verification criteria, that is, modify the device modeling type verification criteria corresponding to each model whose type of the parent node has changed, and obtain the updated, currently adopted version of the device modeling type verification of the SEMI InterfaceA standard.
- Validation criteria library When the currently adopted version of the SEMI InterfaceA standard changes, the corresponding device modeling based on the currently adopted version of the SEMI InterfaceA standard in the device modeling type verification criterion library of the currently adopted version of the SEMI InterfaceA standard can be modeled Type verification criteria, that is, modify the device modeling type verification criteria corresponding to each model whose type of the parent node has changed, and obtain the updated, currently adopted version of the device modeling type verification of the SEMI InterfaceA standard.
- the device modeling type of the currently adopted version of the SEMI InterfaceA standard is calibrated. Modify the device modeling type verification criteria corresponding to the model in the verification criteria library to obtain the updated, currently adopted version of the device modeling type verification criteria library of the SEMI InterfaceA standard.
- the device modeling type verification criterion library of any version of the SEMI InterfaceA standard is independent of the main program, and at the same time, any device in the device modeling type verification criterion library of any version of the SEMI InterfaceA standard Modeling type check criteria are independent of the main program.
- the device modeling type verification criterion library of the version of the SEMI InterfaceA standard is currently used to determine whether the model to be added can be used as the child node of the target model in the device model tree.
- the preset device modeling type verification criterion library when the version of the SEMI InterfaceA standard changes, the updated device modeling type verification criterion library of this version of the SEMI InterfaceA standard can be generated.
- the updated device modeling type verification criteria library of this version of the SEMI InterfaceA standard can be used as the current tool for determining whether the model to be added can be used as the target model in the device model tree.
- the preset device modeling type verification criterion library of the child node is used to determine whether the model to be added can be used as a child node of the target model in the device model tree in the subsequent verification process.
- the preset, preset Equipment modeling type verification criteria library in the case of changes in this version of the SEMI InterfaceA standard, since the main program does not include the code related to the verification process, there is no need to modify the code of the main program. The code is refactored, and at the same time, there is no need to modify the code related to the verification process of the verification module.
- the device modeling application is easy to maintain, and at the same time, the operating efficiency of the device modeling code is improved, a large number of code refactorings caused by the change of the SEMI InterfaceA standard are avoided, development costs are saved, and maintenance costs are reduced.
- FIG. 3 shows a schematic flowchart of device modeling.
- the newly created model file includes device model objects.
- the type verification pool integrates multiple verification modules and different versions of SEMI InterfaceA's device modeling type verification criteria library.
- the type verification module corresponding to the type of the source control and the type of the target control in the type verification pool performs verification and comparison according to the device modeling type verification criteria based on the current version of SEMI InterfaceA, and determines the selected model to be added. Whether it can be added to the device model tree as a child node of the target model to get feedback results.
- the type verification pool feeds back the feedback result to the main program.
- FIG. 4 shows a schematic diagram of the principle of device modeling.
- the type of the source control is of type TreeView and the type of the target control is of type TreeView
- the type of source control is of type ListView and the type of the target control is of type TreeView
- the type of source control is of type TreeView
- the type of target control is The type is ListView type three display cases.
- the corresponding verification module can be used for verification. Any verification module is independent of the main program.
- the verification module corresponding to the type of the source control and the type of the target control is used, namely Corresponds to the validation module of the control type combination consisting of ListView type and TreeView type.
- the type of the source control used to display the device model object is ListView type
- the type of the target control used to display the device model tree is of type TreeView
- the type of the source control used to display the device model object is changed from ListView type to TreeView type
- the verification module corresponding to the combination of the control type composed of the TreeView type and the TreeView type without changing the main program. code.
- the device modeling type verification criteria based on the changed version of the SEMI InterfaceA standard in the device modeling type verification criteria library of the changed version of the SEMI InterfaceA standard can be used. Make the appropriate modifications. Since the main program does not include the verification code, if any version of the SEMI InterfaceA standard changes, there is no need to modify the code of the main program, nor the code related to the verification process.
- Validation(Type, Type) can be called by the main program, and an object representing the type of the source control and an object representing the type of the target control can be passed in as actual parameters.
- Validation(Type, Type) is used when called: based on the object representing the type of the source control, the type of the source control is obtained through the reflection mechanism of the C# language; based on the object representing the type of the target control, it is obtained through the reflection mechanism of the C# language The type of the target control.
- steps 101-103 exemplarily describe the operations that need to be performed once in the process of verifying whether the selected model to be added can be used as a child node of the target model in the device model tree.
- FIG. 5 shows a structural block diagram of an apparatus for modeling a semiconductor device provided by an embodiment of the present application.
- the semiconductor device modeling includes: a determination unit 501 , a verification unit 502 , and a feedback unit 503 .
- the determining unit 501 is configured to, in response to the adding instruction operation, determine the type of the source control used to display the device model object and the type of the target control used to display the device model tree, wherein the adding instruction operation is used to select one of the device model objects.
- the verification unit 502 is configured to use the verification module corresponding to the type of the source control and the type of the target control to obtain the information of the selected model to be added and the information of the selected target model; based on the preset equipment modeling Type verification criteria library, verify the information of the model to be added and the information of the target model, and determine whether the model to be added can be used as a child node of the target model in the device model tree;
- the feedback unit 503 is configured to display a verification result indicating whether the model to be added can be used as a child node of the target model in the device model tree.
- the determining unit 501 is further configured to: determine the type of the source control used to display the device model object and the type of the target control used to display the device model tree by using a pre-created generic-based function, wherein based on The formal parameters of the generic function include: the formal parameters of the source control object used to receive the source control, and the formal parameters of the target control object used to receive the target control.
- the generic function is called, it is used to: determine through reflection The type of the source control object and the type of the target control object to determine the type of the source control and the type of the target control.
- the feedback unit 503 is further configured to, when it is determined that the model to be added can be used as a child node of the target model in the equipment model tree, display a correction that the model to be added can be used as a child node of the target model in the equipment model tree test results;
- the semiconductor device modeling apparatus also includes:
- the adding unit is configured to add the to-be-added model to the device model in response to the user's adding confirmation operation after the feedback unit 503 displays the verification result indicating whether the to-be-added model can be used as a child node of the target model in the device model tree In the tree, as child nodes of the target model.
- the feedback unit 503 is further configured to display that the model to be added can be a child node of the target model in the device model tree. verification results;
- the semiconductor device modeling apparatus also includes:
- Abandon adding unit is configured to, after the feedback unit 503 displays the verification result indicating whether the model to be added can be used as a child node of the target model in the device model tree, in response to the user's adding abandonment operation, abandon adding the model to be added to the device model tree. in the device model tree.
- the adding instruction operation includes: dragging the selected model to be added to the position of the selected target model.
- the type of the source control is one of the following: TreeView, ListView
- the type of the target control is one of the following: TreeView, ListView.
- the data collection standard is the currently adopted version of the data collection standard among the multiple versions of the data collection standard.
- the semiconductor device modeling apparatus further includes:
- the modifying unit is configured to modify the device modeling type verification criteria based on the data acquisition standard in the device modeling type verification criteria library in response to the change of the data acquisition standard.
- the present application also provides an electronic device, which can be configured with one or more processors; a memory, used to store one or more programs, and the one or more programs may include steps for executing the descriptions in the foregoing embodiments. instruction of the operation.
- One or more programs when executed by one or more processors, cause the one or more processors to perform the operations described in the above-described embodiments.
- the present application also provides a computer-readable medium, which may be included in the electronic device; or may exist alone without being assembled into the electronic device.
- the above-mentioned computer-readable medium carries one or more programs, and when the one or more programs are executed by the electronic device, causes the electronic device to perform the operations described in the above-mentioned embodiments.
- Computer-readable medium described in this application may be a computer-readable signal medium or a computer-readable storage medium, or any combination of the above two.
- Computer-readable storage media may include, but are not limited to, electrical, magnetic, optical, electromagnetic, infrared, or semiconductor systems, apparatuses, or devices, or any combination thereof, for example. More specific examples of computer readable storage media may include, but are not limited to, electrical connections with one or more wires, portable computer disks, hard disks, random access memory (RAM), read only memory (ROM), erasable Programmable read only memory (EPROM or flash memory), fiber optics, portable compact disk read only memory (CD-ROM), optical storage devices, magnetic storage devices, or any suitable combination of the foregoing.
- a computer-readable storage medium may be any tangible medium that includes or stores a program that can be used by or in conjunction with a message execution system, apparatus, or device.
- a computer-readable signal medium may include a data signal propagated in baseband or as part of a carrier wave, carrying computer-readable program code therein. Such propagated data signals may take a variety of forms, including but not limited to electromagnetic signals, optical signals, or any suitable combination of the foregoing.
- a computer-readable signal medium can also be any computer-readable medium other than a computer-readable storage medium that can transmit, propagate, or transport a program for use by or in connection with a message execution system, apparatus, or device .
- Program code embodied on a computer readable medium may be transmitted using any suitable medium including, but not limited to, wireless, wireline, optical fiber cable, RF, etc., or any suitable combination of the foregoing.
- each block in the flowchart or block diagrams may represent a module, segment, or portion of code that includes one or more logical functions for implementing the specified functions executable message.
- the functions noted in the blocks may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved.
- each block of the block diagrams and/or flowchart illustrations, and combinations of blocks in the block diagrams and/or flowchart illustrations can be implemented in dedicated hardware-based systems that perform the specified functions or operations , or can be implemented with a combination of dedicated hardware and computer messages.
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)
- Geometry (AREA)
- Evolutionary Computation (AREA)
- Software Systems (AREA)
- Microelectronics & Electronic Packaging (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
- Encapsulation Of And Coatings For Semiconductor Or Solid State Devices (AREA)
- Die Bonding (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
Description
Claims (10)
- 一种半导体设备建模方法,其特征在于,所述方法包括:响应于添加指示操作,确定用于展示设备模型对象的源控件的类型和用于展示设备模型树的目标控件的类型,其中,所述添加指示操作用于选择所述设备模型对象中的待添加模型和所述设备模型树中的目标模型;利用对应于所述源控件的类型和所述目标控件的类型的校验模块,获取被选择的待添加模型的信息和被选择的目标模型的信息;基于预置的设备建模类型校验准则库,对所述待添加模型的信息和所述目标模型的信息进行校验,确定所述待添加模型是否可以在所述设备模型树中作为所述目标模型的子节点;显示指示所述待添加模型是否可以在所述设备模型树中作为所述目标模型的子节点的校验结果。
- 根据权利要求1所述的方法,其特征在于,所述确定用于展示设备模型对象的源控件的类型和用于展示设备模型树的目标控件的类型包括:利用预先创建的基于泛型的函数确定用于展示设备模型对象的源控件的类型和用于展示设备模型树的目标控件的类型,其中,所述基于泛型的函数的形式参数包括:用于接收所述源控件的源控件对象的形式参数、用于接收所述目标控件的目标控件对象的形式参数,所述基于泛型的函数在被调用时用于:通过反射确定所述源控件对象的类型和所述目标控件对象的类型,以确定所述源控件的类型和所述目标控件的类型。
- 根据权利要求1所述的方法,其特征在于,在确定所述待添加模型可以在所述设备模型树中作为所述目标模型的子节点时,所述显示指示所述待添加模型是否可以在设备模型树中作为目标模型的子节点的校验结果,包括:显示所述待添加模型可以在所述设备模型树中作为所述目标模型的子节点的校验结果;以及在所述显示指示所述待添加模型是否可以在设备模型树中作为目标模型的子节点的校验结果之后,所述方法还包括:响应于用户的添加确认操作,将所述待添加模型添加至所述设备模型树中,作为所述目标模型的子节点。
- 根据权利要求1所述的方法,其特征在于,在确定所述待添加模型可以在所述设备模型树中作为所述目标模型的子节点时,所述显示指示所述待添加模型是否可以在设备模型树中作为目标模型的子节点的校验结果,包括:显示所述待添加模型可以在所述设备模型树中作为所述目标模型的子节点的校验结果;以及在所述显示指示所述待添加模型是否可以在设备模型树中作为目标模型的子节点的校验结果之后,所述方法还包括:响应于用户的添加放弃操作,放弃将所述待添加模型添加至所述设备模型树中。
- 根据权利要求1-4之一所述的方法,其特征在于,所述响应于添加指示操作包括:响应于用户将展示的所述设备模型对象中的一个所述待添加模型拖曳至位于展示的所述模型设备树中的一个所述目标模型的位置。
- 根据权利要求1-4之一所述的方法,其特征在于,所述源控件的类型为以下之一:TreeView类型、ListView类型,所述目标控件的类型为以下之一:TreeView类型、ListView类型。
- 根据权利要求1-4之一所述的方法,其特征在于,所述设备建模类型校验准则库包括:基于数据采集标准的设备建模类型校验准则。
- 根据权利要求7所述的方法,其特征在于,所述数据采集标准为多个版本的数据采集标准中的当前采用的版本的数据采集标准。
- 根据权利要求8所述的方法,其特征在于,所述方法还包括:响应于所述数据采集标准的变化,对所述设备建模类型校验准则库中基于所述数据采集标准的设备建模类型校验准则进行修改。
- 一种半导体设备建模装置,其特征在于,所述装置包括:确定单元,被配置为响应于添加指示操作,确定用于展示设备模型对象的源控件的类型和用于展示设备模型树的目标控件的类型,其中,所述添加指示操作用于选择设备模型对象中的待添加模型和设备模型树中的目标模型;校验单元,被配置为利用对应于所述源控件的类型和所述目标控件的类型的校验模块,获取被选择的待添加模型的信息和被选择的目标模型的信息;基于预置的设备建模类型校验准则库,对所述待添加模型的信息和所述目标模型的信息进行校验,确定所述待添加模型是否可以在所述设备模型树中作为所述目标模型的子节点;反馈单元,被配置为显示指示所述待添加模型是否可以所述在设备模型树中作为所述目标模型的子节点的校验结果。
Priority Applications (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2022579028A JP7457168B2 (ja) | 2020-07-15 | 2021-07-06 | 半導体デバイスのモデリング方法及び装置 |
| KR1020227044375A KR102583241B1 (ko) | 2020-07-15 | 2021-07-06 | 반도체 디바이스 모델링 방법 및 장치 |
| US18/041,120 US20230267255A1 (en) | 2020-07-15 | 2021-07-06 | Semiconductor equipment modeling method and device |
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202010683246.9 | 2020-07-15 | ||
| CN202010683246.9A CN111967137B (zh) | 2020-07-15 | 2020-07-15 | 一种半导体设备建模方法及装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| WO2022012371A1 true WO2022012371A1 (zh) | 2022-01-20 |
Family
ID=73362115
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| PCT/CN2021/104679 Ceased WO2022012371A1 (zh) | 2020-07-15 | 2021-07-06 | 一种半导体设备建模方法及装置 |
Country Status (6)
| Country | Link |
|---|---|
| US (1) | US20230267255A1 (zh) |
| JP (1) | JP7457168B2 (zh) |
| KR (1) | KR102583241B1 (zh) |
| CN (1) | CN111967137B (zh) |
| TW (1) | TWI803901B (zh) |
| WO (1) | WO2022012371A1 (zh) |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN111967137B (zh) * | 2020-07-15 | 2024-05-17 | 北京北方华创微电子装备有限公司 | 一种半导体设备建模方法及装置 |
| CN113821005B (zh) * | 2021-09-26 | 2024-06-25 | 北京北方华创微电子装备有限公司 | 半导体工艺设备数据采集系统和方法 |
Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20120078580A1 (en) * | 2010-09-29 | 2012-03-29 | Siemens Product Lifecycle Management Software Inc. | Integrated History-Free and History-Based Modeling |
| CN107766042A (zh) * | 2016-08-23 | 2018-03-06 | 南京中兴软件有限责任公司 | 一种基于csar的模型文件的可视化设计方法及装置 |
| CN107957867A (zh) * | 2017-10-30 | 2018-04-24 | 中国电力科学研究院有限公司 | 一种电力零售市场模型建模方法及系统 |
| CN110188454A (zh) * | 2019-05-27 | 2019-08-30 | 北京建筑大学 | 建筑设备与建筑信息模型匹配方法及装置 |
| CN111045992A (zh) * | 2019-12-04 | 2020-04-21 | 中盈优创资讯科技有限公司 | 一种基于树形结构的配置文件检查方法及系统 |
| CN111967137A (zh) * | 2020-07-15 | 2020-11-20 | 北京北方华创微电子装备有限公司 | 一种半导体设备建模方法及装置 |
Family Cites Families (26)
| 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 |
| US6978259B1 (en) * | 2001-10-23 | 2005-12-20 | Hewlett-Packard Development Company, L.P. | Automated system adaptation technique particularly for data storage systems |
| JP2004272909A (ja) | 2003-03-06 | 2004-09-30 | Microsoft Corp | システムの設計時検証 |
| US8639487B1 (en) * | 2003-03-25 | 2014-01-28 | Cadence Design Systems, Inc. | Method for multiple processor system-on-a-chip hardware and software cogeneration |
| US7363610B2 (en) * | 2005-06-21 | 2008-04-22 | Nvidia Corporation | Building integrated circuits using a common database |
| US7483823B2 (en) * | 2005-06-21 | 2009-01-27 | Nvidia Corporation | Building integrated circuits using logical units |
| US8463589B2 (en) * | 2006-07-28 | 2013-06-11 | Synopsys, Inc. | Modifying a virtual processor model for hardware/software simulation |
| US8745557B1 (en) * | 2006-09-11 | 2014-06-03 | The Mathworks, Inc. | Hardware definition language generation for data serialization from executable graphical models |
| US20140173546A1 (en) * | 2012-12-17 | 2014-06-19 | Muthu Kumar | Method and system to view and analyze state model transition on host/semiconductor equipment for 300mm standards |
| US11196623B2 (en) * | 2016-12-30 | 2021-12-07 | Intel Corporation | Data packaging protocols for communications between IoT devices |
| US11023441B2 (en) * | 2017-05-11 | 2021-06-01 | Oracle International Corporation | Distributed storage and processing of hierarchical data structures |
| CN109189393A (zh) * | 2018-07-24 | 2019-01-11 | 中国联合网络通信集团有限公司 | 业务处理方法及装置 |
| KR101985395B1 (ko) * | 2018-08-16 | 2019-06-03 | 주식회사 씨피에스 | 반도체 장비 정보 모델링 시스템 및 그 방법 |
| US11423308B1 (en) * | 2019-09-20 | 2022-08-23 | Apple Inc. | Classification for image creation |
| US11475052B1 (en) * | 2019-11-08 | 2022-10-18 | Tableau Software, Inc. | Using visual cues to validate object models of database tables |
| US11093864B1 (en) * | 2020-03-10 | 2021-08-17 | Sas Institute Inc. | Distributable feature analysis and tree model training system |
| US11829873B2 (en) * | 2020-05-21 | 2023-11-28 | Applied Materials, Inc. | Predictive modeling of a manufacturing process using a set of trained inverted models |
| KR20220051903A (ko) * | 2020-10-19 | 2022-04-27 | 삼성전자주식회사 | 회로 모델을 생성하는 방법 및 이를 이용한 집적 회로의 제조 방법 |
| US11636398B2 (en) * | 2021-04-01 | 2023-04-25 | Sanctuary Cognitive Systems Corporation | Spatio-temporal consistency embeddings from multiple observed modalities |
| US11720732B2 (en) * | 2021-08-16 | 2023-08-08 | International Business Machines Corporation | Determining a blended timing constraint that satisfies multiple timing constraints and user-selected specifications |
| CN113762510B (zh) * | 2021-09-09 | 2022-12-09 | 北京百度网讯科技有限公司 | 针对目标模型的数据处理方法、装置、电子设备和介质 |
| KR20230057673A (ko) * | 2021-10-22 | 2023-05-02 | 삼성전자주식회사 | 딥 러닝 기반의 반도체 소자의 특성 예측 방법 및 이를 수행하는 컴퓨팅 장치 |
| JP7700730B2 (ja) * | 2022-05-26 | 2025-07-01 | 横河電機株式会社 | モデル選択装置、モデル選択方法、および、モデル選択プログラム |
| US20240303241A1 (en) * | 2023-03-09 | 2024-09-12 | Microsoft Technology Licensing, Llc | Message transformation map object model |
| US20250013913A1 (en) * | 2023-07-06 | 2025-01-09 | Microsoft Technology Licensing, Llc | System and method for machine learning model re-formulation |
| US20250165475A1 (en) * | 2023-11-16 | 2025-05-22 | JFrog Ltd. | System and method for repository management |
-
2020
- 2020-07-15 CN CN202010683246.9A patent/CN111967137B/zh active Active
-
2021
- 2021-07-06 KR KR1020227044375A patent/KR102583241B1/ko active Active
- 2021-07-06 WO PCT/CN2021/104679 patent/WO2022012371A1/zh not_active Ceased
- 2021-07-06 JP JP2022579028A patent/JP7457168B2/ja active Active
- 2021-07-06 US US18/041,120 patent/US20230267255A1/en active Pending
- 2021-07-09 TW TW110125317A patent/TWI803901B/zh active
Patent Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20120078580A1 (en) * | 2010-09-29 | 2012-03-29 | Siemens Product Lifecycle Management Software Inc. | Integrated History-Free and History-Based Modeling |
| CN107766042A (zh) * | 2016-08-23 | 2018-03-06 | 南京中兴软件有限责任公司 | 一种基于csar的模型文件的可视化设计方法及装置 |
| CN107957867A (zh) * | 2017-10-30 | 2018-04-24 | 中国电力科学研究院有限公司 | 一种电力零售市场模型建模方法及系统 |
| CN110188454A (zh) * | 2019-05-27 | 2019-08-30 | 北京建筑大学 | 建筑设备与建筑信息模型匹配方法及装置 |
| CN111045992A (zh) * | 2019-12-04 | 2020-04-21 | 中盈优创资讯科技有限公司 | 一种基于树形结构的配置文件检查方法及系统 |
| CN111967137A (zh) * | 2020-07-15 | 2020-11-20 | 北京北方华创微电子装备有限公司 | 一种半导体设备建模方法及装置 |
Also Published As
| Publication number | Publication date |
|---|---|
| TW202219806A (zh) | 2022-05-16 |
| CN111967137A (zh) | 2020-11-20 |
| KR102583241B1 (ko) | 2023-09-26 |
| KR20230003650A (ko) | 2023-01-06 |
| JP2023531931A (ja) | 2023-07-26 |
| TWI803901B (zh) | 2023-06-01 |
| CN111967137B (zh) | 2024-05-17 |
| JP7457168B2 (ja) | 2024-03-27 |
| US20230267255A1 (en) | 2023-08-24 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN110928772B (zh) | 一种测试方法及装置 | |
| US8171450B2 (en) | System and apparatus for graphically building business rule conditions | |
| US9612937B2 (en) | Determining relevant events in source code analysis | |
| US20160315823A1 (en) | Enabling real-time operational environment conformity within an enterprise architecture model dashboard | |
| CN111708801A (zh) | 报表生成方法、装置及电子设备 | |
| US12124874B2 (en) | Pipeline task verification for a data processing platform | |
| CN104572067A (zh) | 用于由源代码指定的用户界面的可视化的方法和系统 | |
| CN110851355B (zh) | 前端工程的实施方法及装置、存储介质、电子设备 | |
| US20210263833A1 (en) | Code Generation Platform with Debugger | |
| US20140214396A1 (en) | Specification properties creation for a visual model of a system | |
| JP2017527901A (ja) | ユーザセッション間にわたる操作のアンドゥサポートを用いた自動保存 | |
| Salihoglu et al. | Graft: A debugging tool for apache giraph | |
| WO2022012371A1 (zh) | 一种半导体设备建模方法及装置 | |
| JP2009501970A (ja) | 有限状態マシンモデルの構築 | |
| CN112699011A (zh) | 统计增量代码覆盖率的方法、装置及电子设备、存储介质 | |
| CN107577709B (zh) | 一种信息系统资源模型的图形化管理方法 | |
| CN116610568A (zh) | 一种识别代码的依赖关系的方法、装置、设备及介质 | |
| US11100131B2 (en) | Simulation of a synchronization of records | |
| CN115269390A (zh) | 一种图形化接口自动测试方法、装置及存储介质 | |
| KR20100122151A (ko) | 자동 생성 폼 기반의 데이터베이스 애플리케이션 생성 방법 및 이를 실현시키기 위한 프로그램을 기록한 컴퓨터로 판독 가능한 기록 매체 | |
| US12436760B2 (en) | Interactive code visualization system | |
| US20250383977A1 (en) | Interactive element evaluation | |
| CN111464577A (zh) | 一种设备控制方法和装置 | |
| CN118051558A (zh) | 一种可视化数据诊断方法、设备及介质 | |
| CN116931894A (zh) | 一种字段唯一性的配置方法、装置、设备及介质 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| 121 | Ep: the epo has been informed by wipo that ep was designated in this application |
Ref document number: 21841612 Country of ref document: EP Kind code of ref document: A1 |
|
| ENP | Entry into the national phase |
Ref document number: 20227044375 Country of ref document: KR Kind code of ref document: A |
|
| ENP | Entry into the national phase |
Ref document number: 2022579028 Country of ref document: JP Kind code of ref document: A |
|
| NENP | Non-entry into the national phase |
Ref country code: DE |
|
| 122 | Ep: pct application non-entry in european phase |
Ref document number: 21841612 Country of ref document: EP Kind code of ref document: A1 |