公开(公告)号：US09811617B2

公开(公告)日：2017-11-07

申请号：US14168817

申请日：2014-01-30

申请人： Mentor Graphics Corporation

发明人： Andreas Meyer

IPC分类号： G06F17/50 ,  G01R31/3183

CPC分类号： G06F17/5022 ,  G01R31/31835 ,  G06F2217/10

摘要： This application discloses a computing system to implement a design verification tool and simulate a circuit design with a regression. The computing system can define coverage for system level functionality of a circuit design as a set of system level coverage points. Each of the system level coverage points can correspond to a different portion of system level functionality of the circuit design. The computing system can correlate the system level coverage points in the set according to characteristics of the different portions of the system level functionality corresponding to the system level coverage points. The computing system can utilize the correlated set of system level coverage points to identify system level functionality left uncovered by events performed by the circuit design during simulation with one or more regressions.

公开(公告)号：US20170286569A1

公开(公告)日：2017-10-05

申请号：US15083466

申请日：2016-03-29

申请人： Xerox Corporation

发明人： Abhishek Sengupta ,  Prathosh Aragulla Prasad ,  Satya Narayan Shukla ,  Vaibhav Rajan ,  Katerina Sinclair ,  Stephen Fullerton

IPC分类号： G06F17/50 ,  G06N99/00 ,  G06N5/04 ,  G06F17/18

CPC分类号： G06F17/5009 ,  G06F17/18 ,  G06F2217/10 ,  G06K9/00536 ,  G06N5/04 ,  G06N20/00

摘要： Systems and methods of modeling irregularly sampled time series signals with unknown temporal dynamics are disclosed wherein a temporal difference variable (TDV) is introduced to model irregular time differences between subsequent measurements. A hierarchical model is designed comprising two linear dynamical systems that model the effects of evolving TDV on temporal observations. All the parameters of the model, including the temporal dynamics are statistically estimated using historical data.

公开(公告)号：US09767239B1

公开(公告)日：2017-09-19

申请号：US15298921

申请日：2016-10-20

申请人： International Business Machines Corporation

发明人： Nathan C. Buck ,  Eric A. Foreman ,  Jeffrey G. Hemmett ,  Kerim Kalafala ,  Gregory M. Schaeffer ,  Stephen G. Shuma ,  Natesan Venkateswaran ,  Chandramouli Visweswariah ,  Vladimir Zolotov

IPC分类号： G06F17/50

CPC分类号： G06F17/5036 ,  G06F17/5022 ,  G06F17/5031 ,  G06F17/5045 ,  G06F17/5081 ,  G06F2217/10 ,  G06F2217/12 ,  G06F2217/84

摘要： System and methods for achieving a timing closure in a design of an integrated circuit in presence of manufacturing variation. The method includes running a timing engine of a statistical timing analysis tool performing at least one optimization to fix at least one violation of at least one timing quantity at an integrated circuit location. The method includes choosing at least one optimization to apply and finding at least one failing timing quantity, where the quantity is failing due to at least one source of variability which the optimization would impact. The optimization is applied to at least one section of the path leading to the failing timing quantity, where the section contributes to the source of variability. Statistical sensitivity information in canonical form guides the optimization by providing a fully parameterized canonical form of the identified timing violations.

公开(公告)号：US09639637B2

公开(公告)日：2017-05-02

申请号：US14015084

申请日：2013-08-30

申请人： Xuefei Guan ,  Jingdan Zhang ,  Shaohua Kevin Zhou

发明人： Xuefei Guan ,  Jingdan Zhang ,  Shaohua Kevin Zhou

IPC分类号： G06F7/60 ,  G06F17/10 ,  G06F17/50

CPC分类号： G06F17/5009 ,  G06F2217/10 ,  G06F2217/76

摘要： A method for predicting fatigue crack growth in materials includes providing a prior distribution obtained using response measures from one or more target components using a fatigue crack growth model as a constraint function, receiving new crack length measurements, providing a posterior distribution obtained using the new crack length measurements, and sampling the posterior distribution to obtain crack length measurement predictions.

公开(公告)号：US20170103155A1

公开(公告)日：2017-04-13

申请号：US15287354

申请日：2016-10-06

申请人： SAMSUNG ELECTRONICS CO., LTD.

发明人： JONG-WOOK JEON ,  HYO-EUN PARK ,  KEUN-HO LEE ,  UI-HUI KWON ,  JONG-CHOL KIM

IPC分类号： G06F17/50 ,  H04L12/24

CPC分类号： G06F17/5036 ,  G06F17/5031 ,  G06F17/505 ,  G06F2217/10 ,  G06F2217/84 ,  H04L41/145

摘要： A simulation method includes receiving a netlist describing a plurality of devices, performing an arithmetic operation by using values of random telegraph signal (RTS) noise factors respectively corresponding to the plurality of devices, generating an RTS model corresponding to each of the devices, based on a result of the arithmetic operation, and generating a netlist in which the RTS model is reflected.

公开(公告)号：US09619603B2

公开(公告)日：2017-04-11

申请号：US14543498

申请日：2014-11-17

申请人： ASML NETHERLANDS B.V.

发明人： Hanying Feng ,  Yu Cao ,  Jun Ye

IPC分类号： G06F17/50 ,  G03F1/70 ,  G03F7/20

CPC分类号： G06F17/5068 ,  G03F1/70 ,  G03F7/70125 ,  G03F7/70258 ,  G03F7/70441 ,  G03F7/705 ,  G06F17/5009 ,  G06F2217/06 ,  G06F2217/08 ,  G06F2217/10 ,  G06F2217/12

摘要： Embodiments of the present invention provide methods for optimizing a lithographic projection apparatus including optimizing projection optics therein, and preferably including optimizing a source, a mask, and the projection optics. The projection optics is sometimes broadly referred to as “lens”, and therefore the joint optimization process may be termed source mask lens optimization (SMLO). SMLO is desirable over existing source mask optimization process (SMO), partially because including the projection optics in the optimization can lead to a larger process window by introducing a plurality of adjustable characteristics of the projection optics. The projection optics can be used to shape wavefront in the lithographic projection apparatus, enabling aberration control of the overall imaging process. According to the embodiments herein, the optimization can be accelerated by iteratively using linear fitting algorithm or using Taylor series expansion using partial derivatives of transmission cross coefficients (TCCs).

公开(公告)号：US09558300B2

公开(公告)日：2017-01-31

申请号：US13673575

申请日：2012-11-09

申请人： The University of Central Florida Research Foundation, Inc. ,  Carnegie Mellon University

发明人： Sumit K. Jha ,  Christopher J. Langmead

IPC分类号： G06F7/60 ,  G06F17/50

CPC分类号： G06F17/50 ,  G06F2217/10

摘要： A stochastic computational model parameter synthesis system comprising at least one processor capable of executing processor executable code, and a non-transitory computer memory operably coupled with the at least one processor and storing processor executable code, which when executed by processor, causes processor to synthesize at least one parameter of a stochastic computational model to satisfy one or more behavioral specifications of properties observed in a modeled system. The processor generates and searches randomized projections of a first parameter space having n dimensions into one or more second abstract parameter space having d dimensions, where d is less than n, and outputs a signal indicative of a synthesized parameter value to the user.

摘要翻译： 一种包括能够执行处理器可执行代码的至少一个处理器的随机计算模型参数合成系统，以及与所述至少一个处理器可操作地耦合并存储处理器可执行代码的非暂时计算机存储器，所述处理器可执行代码当由处理器执行时，使处理器合成 至少一个随机计算模型的参数，以满足在建模系统中观察到的性能的一个或多个行为规范。 处理器产生并搜索具有n维的第一参数空间的随机化投影到具有d维度的一个或多个第二抽象参数空间中，其中d小于n，并且向用户输出指示合成参数值的信号。

公开(公告)号：US20160371404A1

公开(公告)日：2016-12-22

申请号：US14743888

申请日：2015-06-18

申请人： International Business Machines Corporation

发明人： Peter J. Haas

IPC分类号： G06F17/50 ,  G06F17/18

CPC分类号： G06F17/5009 ,  G06F8/35 ,  G06F8/75 ,  G06F8/76 ,  G06F2217/10 ,  G06F2217/44

摘要： Embodiments of the present invention provide a method for result caching to improve the statistical efficiency of a composite model comprising a first component model and at least one other component model. The method comprises developing at least one metamodel for at least one component model of the composite model, computing a re-use factor that maximizes an asymptotic efficiency measure based on the metamodel, determining a number of executions to run for the composite model, and determining a number of executions to run for the first component model based on the re-use factor and the number of executions to run for the composite model. The number of executions to run for the first component model is fewer than the number of executions to run for the composite model. Each output generated from each execution of the first component model is cached and provided as input to another component model.

摘要翻译： 本发明的实施例提供了一种用于结果缓存以提高包括第一组件模型和至少一个其他组件模型的复合模型的统计效率的方法。 该方法包括为复合模型的至少一个组件模型开发至少一个元模型，计算基于元模型使渐近效率度量最大化的重用因子，确定为复合模型运行的执行次数，以及确定 基于复用模型的再利用因子和执行次数，执行第一个组件模型的一些执行。 为第一个组件模型运行的执行次数少于为复合模型运行的执行次数。 从第一个组件模型的每次执行生成的每个输出被缓存，并作为输入提供给另一个组件模型。

公开(公告)号：US09483602B2

公开(公告)日：2016-11-01

申请号：US13881866

申请日：2011-10-27

申请人： Trent Lorne McConaghy ,  Joel Cooper ,  Jeffrey Dyck ,  Kyle Fisher

发明人： Trent Lorne McConaghy ,  Joel Cooper ,  Jeffrey Dyck ,  Kyle Fisher

IPC分类号： G06F17/50 ,  G06G7/62

CPC分类号： G06F17/5081 ,  G06F17/5009 ,  G06F17/5022 ,  G06F17/5036 ,  G06F2217/10

摘要： A method and system to estimate failure rates in designs. N Monte Carlo samples are drawn from the random distribution that describes process variation in the design. A subset of these samples is selected, and that subset of Ninit samples are simulated (with a circuit simulator) to measure a performance value for each sample. A model is constructed, using the values of the Ninit process points as training inputs, and the corresponding Ninit performance values as training outputs. The candidate Monte Carlo samples are from the N Monte Carlo samples that have not yet been simulated. Each candidate is simulated on the model to get predicted performance values, and the samples are ordered in ascending (or descending) order of the predicted performance values. Simulation of candidates samples is then begun, in that order. The sampling and simulation will stops once there is sufficient confidence that all failures are found.

摘要翻译： 一种估计设计失败率的方法和系统。 N蒙特卡洛样本是从设计中描述过程变化的随机分布中得出的。 选择这些样本的子集，并且模拟Ninit样本的子集（使用电路模拟器）来测量每个样本的性能值。 使用Ninit过程点的值作为训练输入，并将相应的Ninit性能值作为训练输出构建一个模型。 候选蒙特卡洛样本来自尚未模拟的N蒙特卡罗样本。 在模型上模拟每个候选人以获得预测的性能值，并且以预测的性能值的升序（或降序）顺序排列样本。 然后按照顺序开始模拟候选样本。 一旦有足够的信心发现所有故障，采样和仿真将停止。

公开(公告)号：US09348958B2

公开(公告)日：2016-05-24

申请号：US13564773

申请日：2012-08-02

申请人： Hiroyuki Higuchi ,  Yu Liu ,  Yuzi Kanazawa

发明人： Hiroyuki Higuchi ,  Yu Liu ,  Yuzi Kanazawa

IPC分类号： G06N5/02 ,  G06F17/50

CPC分类号： G06F17/504 ,  G06F2217/10 ,  G06N5/02

摘要： A disclosed method includes: converting, for each sample point, a set of performance item values for a sample point into coordinate values of a mesh element containing the set among plural mesh elements obtained by dividing a space mapped by the performance items; generating a binary decision graph representing a group of the coordinate values of the sample points; calculating the number of sample points including second sample points that dominates a first sample point and the first sample point, by counting the number of paths in the binary decision graph from a root node to a leaf node representing “1” through at least one of certain nodes corresponding to coordinate values that are equal to or less than coordinate values of the first sample point; and calculating a yield of the first sample point by dividing the calculated number by the number of the plural sample points.

摘要翻译： 所公开的方法包括：对于每个采样点，将用于采样点的一组性能项目值转换为通过划分由性能项目映射的空间而获得的多个网格元素中的包含集合的网格元素的坐标值; 生成表示采样点的坐标值的一组的二进制决策图; 通过将二进制决策图中的路径数量从根节点计数到表示“1”的叶节点的数目，通过以下步骤中的至少一个来计算包括支配第一采样点和第一采样点的第二采样点的采样点的数量： 对应于等于或小于第一采样点的坐标值的坐标值的某些节点; 以及通过将计算出的数除以多个采样点的数量来计算第一采样点的产量。