Simulation scaling with DFT and non-DFT

Patent metadata

Field	Value
Publication number	US-9881111-B2
Application number	US-201414498458-A
Country	US
Kind code	B2
Filing date	Sep 26, 2014
Priority date	Sep 26, 2013
Publication date	Jan 30, 2018
Grant date	Jan 30, 2018

Abstract

Electronic design automation modules for simulate the behavior of structures and materials at multiple simulation scales with different simulation modules.

First claim

The invention claimed is:

1. An EDA tool comprising:
a data processor;
storage configured to provide computer program instructions to the processor, including:
a controller module causing a plurality of simulation modules to perform an EDA simulation at a plurality of different simulation scales, the plurality of simulation modules including:
a first set of one or more ab initio simulation modules simulating a first volume with a first boundary; and
a second set of one of more non-ab initio simulation modules simulating a second volume with a second boundary, the second volume larger than the first volume,

wherein the controller module causes, responsive to a simulated volume occupied by a nonzero part of a simulated property being a larger percentage of the second volume than the first volume, switching from the second set of one or more non-ab initio simulation modules to the first set of one of more ab initio simulation modules.

2. The EDA tool of claim 1 , wherein the simulated property as simulated by the first set of one or more ab initio simulation modules is equal at the first boundary to an asymptotic value of the simulated property.

3. The EDA tool of claim 1 , wherein the simulated property as simulated by the second set of one or more ab initio simulation modules is equal at the second boundary to an asymptotic value of the simulated property.

4. The EDA tool of claim 1 , wherein the simulated volume fits within the first volume.

5. The EDA tool of claim 1 , wherein the first set of one or more simulation modules includes a density functional theory module, and the second set of one or more simulation modules excludes the density functional theory module.

6. A computer-implemented method comprising:
causing a plurality of simulation modules to perform an EDA simulation at a plurality of different simulation scales, the plurality of simulation modules including:
a first set of one or more ab initio simulation modules simulating a first volume with a first boundary; and
a second set of one of more non-ab initio simulation modules simulating a second volume with a second boundary, the second volume larger than the first volume; and

causing, responsive to a simulated volume occupied by a nonzero part of a simulated property being a larger percentage of the second volume than the first volume, switching from the second set of one or more non-ab initio simulation modules to the first set of one of more ab initio simulation modules.

7. The computer-implemented method of claim 6 , wherein the simulated property as simulated by the first set of one or more ab initio simulation modules is equal at the first boundary to an asymptotic value of the simulated property.

8. The computer-implemented method of claim 6 , wherein the simulated property as simulated by the second set of one or more ab initio simulation modules is equal at the second boundary to an asymptotic value of the simulated property.

9. The computer-implemented method of claim 6 , wherein the simulated volume fits within the first volume.

10. The computer-implemented method of claim 6 , wherein the first set of one or more simulation modules includes a density functional theory module, and the second set of one or more simulation modules excludes the density functional theory module.

11. An EDA tool comprising:
a data processor;
storage configured to provide computer program instructions to the processor, including:
a controller module causing a plurality of simulation modules to perform an EDA simulation at a plurality of different simulation scales, the plurality of simulation modules including:
a first set of one or more ab initio simulation modules of a first volume with a first boundary; and
a second set of one of more non-ab initio simulation modules of a second volume with a second boundary, the second volume larger than the first volume,

wherein the controller module causes the first set of one or more ab initio simulation modules to perform the EDA simulation of a simulated property, and depending on whether a nonzero magnitude of an error of the simulated property exceeds an error threshold, the controller module causing one of: (i) switching from the first set of one or more ab initio simulation modules to the second set of one of more non-ab initio simulation modules, and (ii) remaining with the first set of one or more ab initio simulation modules despite the error.

12. The EDA tool of claim 11 , wherein the error is a nonzero difference between:
(i) the simulated property at the first boundary simulated by the first set of one or more ab initio simulation modules, and
(ii) an asymptotic value of the simulated property beyond the first boundary.

13. The EDA tool of claim 11 , wherein the asymptotic value is obliquely asymptotic.

14. The EDA tool of claim 11 , wherein the asymptotic value is horizontally asymptotic.

15. The EDA tool of claim 11 , wherein the asymptotic value is vertically asymptotic.

16. The EDA tool of claim 11 , wherein the first set of one or more simulation modules includes a density functional theory module, and the second set of one or more simulation modules excludes the density functional theory module.

17. A computer-implemented method comprising:
causing a plurality of simulation modules to perform an EDA simulation at a plurality of different simulation scales, the plurality of simulation modules including:
a first set of one or more ab initio simulation modules of a first volume with a first boundary; and
a second set of one of more non-ab initio simulation modules of a second volume with a second boundary, the second volume larger than the first volume; and

causing the first set of one or more ab initio simulation modules to perform the EDA simulation of a simulated property, and depending on whether a nonzero magnitude of an error of the simulated property exceeds an error threshold, causing one of: (i) switching from the first set of one or more ab initio simulation modules to the second set of one of more non-ab initio simulation modules, and (ii) remaining with the first set of one or more ab initio simulation modules despite the error.

18. The computer-implemented method of claim 17 , wherein the error is a nonzero difference between:
(i) the simulated property at the first boundary simulated by the first set of one or more ab initio simulation modules, and
(ii) an asymptotic value of the simulated property beyond the first boundary.

19. The computer-implemented method of claim 17 , wherein the asymptotic value is obliquely asymptotic.

20. The computer-implemented method of claim 17 , wherein the asymptotic value is horizontally asymptotic.

21. The computer-implemented method of claim 17 , wherein the asymptotic value is vertically asymptotic.

22. The computer-implemented method of claim 17 , wherein the first set of one or more simulation modules includes a density functional theory module, and the second set of one or more simulation modules excludes the density functional theory module.

Assignees

• Synopsys Inc

Inventors

• Liu Jie
• Moroz Victor
• Shaughnessy-Culver Michael C
• Smith Stephen Lee
• Oh Yong-Seog
• Balasingam Pratheep
• Ma Terry Sylvan Kam-Chiu

Classifications

• G06F30/20

  Design optimisation, verification or simulation (optimisation, verification or simulation of circuit designs G06F30/30) · CPC title

• G06F30/367

  Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods · CPC title

• G06F30/33 Primary

  Design verification, e.g. functional simulation or model checking · CPC title

• G06F30/327

  Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist · CPC title

• G06F30/23

  using finite element methods [FEM] or finite difference methods [FDM] · CPC title