Synopsys, Inc.

University of Michigan

Stephen Lee Smith

Victor Moroz

Yong-Seog Oh

Michael C Shaughnessy-Culver

Jie Liu

Terry Sylvan Kam-Chiu Ma

Pratheep Balasingam

Gun-Ho Kim

Cagri Giray Besirli

Kevin P Pipe

Qiang Lu

A handheld cryoanesthesia or analgesia device for cooling a target area on cutaneous membranes, mucous membranes, and tissue of the mucocutaneous zone having an elongated body and a thermoelectric cooling system disposed within the elongated body. The thermoelectric cooling system is configured to physically contact and thermally couple the target area of the cutaneous membranes, mucous membranes, and tissue of the mucocutaneous zone to induce cryoanesthesia or analgesia. The thermoelectric cooling system includes a thermally-conductive cold tip, a thermally-conductive cooling power concentrator thermally coupled to the cold tip, at least one Peltier unit module thermally coupled to the cooling power concentrator, a heatsink thermally coupled to at least one Peltier unit module, a power source, at least one thermal sensor, and a controller operably outputting a control signal to the Peltier unit module to maintain a predetermined temperature.

Applicator for cryoanesthesia and analgesia

Roughly described, a task control system for managing multi-scale simulations receives a case/task list which identifies cases to be evaluated, at least one task for each of the cases, and dependencies among the tasks. A module allocates available processor cores to at least some of the tasks, constrained by the dependencies, and initiates execution of the tasks on allocated cores. A module, in response to completion of a particular one of the tasks, determines whether or not the result of the task warrants stopping or pruning tasks, and if so, then terminates or prunes one or more of the uncompleted tasks in the case/task list. A module also re-allocates available processor cores to pending not-yet-executing tasks in accordance with time required to complete the tasks and constrained by the dependencies, and initiates execution of the tasks on allocated cores.

Adaptive parallelization for multi-scale simulation

An electronic design automation tool includes an application program interface API which includes a set of parameters and procedures supporting atomistic scale modeling of electronic materials. The procedures include a procedure to execute first principles calculations, a procedure to process results from the first principles calculations to extract device scale parameters from the results, a procedure to determine whether the extracted device scale parameters lie within a specified range. The procedures also include a procedure to parameterize an input parameter of a first principles procedure, including a procedure to execute a set of DFT computations across an input parameter space to characterize sensitivity of one of the intermediate parameter and the output parameter. Also included is a procedure to execute a second set of DFT computations across a refined input parameter space. The procedures include a procedure that utilizes DFT computations to parameterize the force field computations.

First principles design automation tool

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

Simulation scaling with DFT and non-DFT

A system for evaluating candidate materials for fabrication of integrated circuits includes a data processor coupled to a memory. Roughly described, the data processor is configured to: calculate and write to a first database, for each of a plurality of candidate materials, values for each property in a set of intermediate properties; calculate and write to a second database, values for a selected target property for various combinations of values for the intermediate properties and values describing candidate environments; and for a particular candidate material and a particular environment in combination, determine values for the intermediate properties for the candidate material by reference to the first database, and determine the value of the target property for the candidate material by querying the second database with, in combination, (1) the determined intermediate property values of the candidate material and (2) a value or values describing the particular environment.

Mapping intermediate material properties to target properties to screen materials

Roughly described, a computer program product describes a transistor with a fin, a fin support, a gate, and a gate dielectric. The fin includes a first crystalline semiconductor material which includes a channel region of the transistor between a source region of the first transistor and a drain region of the transistor. The fin is on a fin support. The fin support includes a second crystalline semiconductor material different from the first crystalline semiconductor material. The first crystalline semiconductor material of the fin and the second crystalline semiconductor material of the fin support form a first heterojunction in between. A gate, gate dielectric, and/or isolation dielectric can be positioned to improve control within the channel.

FinFET with heterojunction and improved channel control

Roughly described, a system for estimating an effective channel length of a 3D transistor having a gate length below 20 nm involves estimating an effective volume of the channel and a cross-sectional area of the channel, and estimating the effective channel length as the ratio of effective volume to cross-sectional area. Preferably the effective volume is estimated as the sum of the Voronoi volumes within containing boundaries of the channel, excluding those volumes having a dopant concentration above the source/drain dopant concentration at the carrier injection point. The containing boundaries can be identified using geometry data describing the transistor, particularly the data identifying inner surfaces of the gate dielectric. The estimated effective channel length can be used in TCAD level analysis of the transistor and calculating characteristics of the transistor as needed for circuit simulation.

Estimation of effective channel length for FinFETs and nano-wires

Electronic design automation modules include a first tool and a second tool. The first tool includes ab initio simulation procedures configured to use input parameters to produce information about a band structure of a simulated material on a first simulation scale specified at least in part by the input parameters. The second tool includes a simulation procedure configured to used information about the band structure of the simulated material produced by the first tool to extract parameters on a second simulation scale larger than the first simulation scale.

Multi-scale simulation including first principles band structure extraction

Roughly described, a system for simulating a temporal process in a body includes a meshing module to impose a grid of nodes on the body, the grid having a uniform node spacing which is less than the quantum separation distance in silicon. A system of node equations is provided, including at least one node equation for each of a plurality of nodes of the grid. The node equations describe behavior of at least one physical quantity at that node through each time step of the process. An iterating module iterates through the time steps to determine values for physical quantities of the body at the end of the simulation period. Preferably one particle of the body is assigned to each node of the grid. For moving boundary processes, boundary movement can be represented simply by changing the particle type assigned to various nodes of the grid as the boundary advances.

Atomic scale grid for modeling semiconductor structures and fabrication processes

Roughly described, a technique for approximating a target property of a target material is provided. For each material in a plurality of anchor materials, a correspondence is provided between the value for a predetermined index property of the material and a value for the target property of the material, the values of all the index properties being different. A predictor function is identified in dependence upon the correspondence. A computer system determines a value for the target property for the target material in dependence upon the predictor function and a value for the index property for the target material. The determined value for the target property for the target material is reported to a user. The correspondence can be provided in a database on a non-transitory computer readable medium. The correspondence can be determined experimentally or analytically for each material in a plurality of anchor materials.

Characterizing target material properties based on properties of similar materials

An electronic design automation tool includes an application program interface API. The API includes a set of parameters and procedures supporting atomistic scale modeling of electronic materials. The procedures include a procedure to execute first principles calculations, a procedure to process results from the first principles calculations to extract device scale parameters from the results, and a procedure to determine whether the device scale parameters extracted from the results lie within a specified range of the stored information for the material. The procedures also include a procedure to parameterize an input parameter of a first principles procedure, including a procedure to execute a set of DFT computations across an input parameter space to characterize sensitivity of one of the intermediate parameter and the output parameter. Also included is a procedure to execute a second set of DFT computations across a refined input parameter space. Additional procedures include a first atomistic scale procedure to produce a set of preliminary configurations for the specified material, and a second atomistic scale procedure that utilizes DFT computations to refine the preliminary configurations and to produce the parameter set using refined configurations. The procedures include a procedure that utilizes DFT computations to parameterize the force field computations.

Growing community of inventors

Mountian View, CA, United States of America

Stephen Lee Smith