Abstract:
In one embodiment of the invention, a method for electronic circuit design is disclosed. The method includes analyzing a hierarchy of a netlist of a circuit to determine primary inputs and primary outputs of the circuit at an upper level, and internal vertices of the circuit at lower levels between the primary inputs and the primary outputs; forming a timing graph of the circuit including a plurality of timing delay edges representing timing delay between the primary inputs, the internal vertices and the primary outputs to form a plurality of paths of a path space from the primary inputs to the primary outputs; and in response to the timing delay of the plurality of timing delay edges, dynamically pruning paths of the plurality of paths using branch and bound techniques on bounds of timing delay that are a function of one or more circuit parameters to reduce the path space down to one or more critical timing paths of the circuit with a worse case metric of timing delay between the primary inputs and the primary outputs. Additionally or alternatively, timing in the circuit may be analyzed to determine a bound of timing delay of the circuit for one or more parameter corners in a parameter space and if the bound of timing delay is worse than a threshold time delay then one or more parameter corners may be pruned from the parameter space using branch and bound techniques.
Abstract:
In one embodiment of the invention, a method for electronic circuit design is disclosed. The method includes analyzing a hierarchy of a netlist of a circuit to determine primary inputs and primary outputs of the circuit at an upper level, and internal vertices of the circuit at lower levels between the primary inputs and the primary outputs; forming a timing graph of the circuit including a plurality of timing delay edges representing timing delay between the primary inputs, the internal vertices and the primary outputs to form a plurality of paths of a path space from the primary inputs to the primary outputs; and in response to the timing delay of the plurality of timing delay edges, dynamically pruning paths of the plurality of paths using branch and bound techniques on bounds of timing delay that are a function of one or more circuit parameters to reduce the path space down to one or more critical timing paths of the circuit with a worse case metric of timing delay between the primary inputs and the primary outputs. Additionally or alternatively, timing in the circuit may be analyzed to determine a bound of timing delay of the circuit for one or more parameter corners in a parameter space and if the bound of timing delay is worse than a threshold time delay then one or more parameter corners may be pruned from the parameter space using branch and bound techniques.
Abstract:
Method, system, and computer program product for analyzing circuit structures for parasitic effects are provided. Data from a previous parasitic effect analysis of a circuit structure is used to perform parasitic effect analysis on another circuit structure even when the circuit structures are not identical, provided the circuit structures are similar.
Abstract:
An evacuation sheath assembly and method of reducing or removing a blockage within a vessel without permitting embolization of particulate matter is provided. The evacuation sheath assembly includes a first elongate tubular member, having proximal and distal ends and a main lumen configured to be placed in fluid communication with a blood vessel. An expandable member is provided on a distal portion of the tubular member and is configured to form a seal with the blood vessel. The evacuation assembly further includes a second elongate tubular member having proximal and distal ends and an inflation lumen configured to be placed in fluid communication with the expandable member and a gas inflator. The gas inflator includes a high pressure gas source and a mechanism for regulating the pressure of the gas delivered by the gas inflator. The gas inflator is configured to be placed in fluid communication with the proximal end of the inflation lumen in order to provide a regulated pressure gas source for inflating the expandable member. A method of treatment of a blood vessel using the evacuation sheath assembly includes advancing the evacuation sheath assembly into the blood vessel through a guide catheter. The expandable member is inflated to provide form a seal between the blood vessel and the guide catheter and a vacuum is applied to the main lumen of the first elongate tubular member to cause retrograde blood flow and carry fluid into the main lumen of the evacuation sheath assembly.
Abstract:
An improved method, system, and computer program product is disclosed for predicting the geometric model of transistors once manufacturing and lithographic process effects are taken into consideration. This provides a much more accurate approach for modeling transistors since it is the actual expected geometric shapes that are analyzed, rather than an idealized model of the layout that does not accurately correspond to the actual manufactured IC product. The expected geometric shape includes systematic variations, which can be determined based on the layout, and the expected random variations, which can be determined based on the lithographic process.
Abstract:
A method and system for generating reduced models of systems having a time-varying elements, a non-linear elements or both is provided. The system and method can be utilized with any systems that are capable of being described with non-linear or time-varying differential equations. The method and system are especially useful for automated extraction of reduced models for nonlinear RF blocks, such as mixers and filters, that have a near linear signal path but may contain strongly nonlinear time-varying components. The models have the accuracy of a transistor level nonlinear simulation but are very compact and so can be used in system level simulation and design.
Abstract:
A method for reducing the order of system models exploiting sparsity is disclosed. According to one embodiment, a computer-implemented method receives a system model having a first system order. The system model contains a plurality of system nodes, a plurality of system matrices. The system nodes are reordered and a reduced order system is constructed by a matrix decomposition (e.g., Cholesky or LU decomposition) on an expansion frequency without calculating a projection matrix. The reduced order system model has a lower system order than the original system model.
Abstract:
A method for reducing the order of system models exploiting sparsity is disclosed. According to one embodiment, a computer-implemented method receives a system model having a first system order. The system model contains a plurality of system nodes, a plurality of system matrices. The system nodes are reordered and a reduced order system is constructed by a matrix decomposition (e.g., Cholesky or LU decomposition) on an expansion frequency without calculating a projection matrix. The reduced order system model has a lower system order than the original system model.
Abstract:
Methods for making a loaded catheter assembly for delivering a self-expanding stent where the self-expanding stent is carried in a compressed state and the compressed stent has an inside diameter smaller than the outside diameter of the catheter distal tip. The methods can utilize catheter sub-assemblies lacking already attached tips or having partially formed distal tips. A stent can be proximally and co-axially slid over the distal end of the catheter shaft and constrained by a retractable sheath disposed co-axially about the compressed stent. The catheter distal tip can be added or more fully formed after the loading of the stent. Some catheters include a preformed distal conical tip held in position by a heat-shrink film. Other catheters have an elastomeric distal tip waist for slipping over and engaging an outward projection on the catheter shaft distal region. Some catheters are adapted to engage catheter shaft distal threaded regions.
Abstract:
A method and apparatus are provided for solving a set of differential-algebraic equation arising in a circuit simulation is provided. A collocation method is applied to each differential-algebraic equation to discretize the set of differential-algebraic equations. A solution to the set of differential-algebraic equations based on the discretized differential-algebraic equation is then formed.