|
Match
|
Document |
Document Title |
|
|
7620827 |
Methods and apparatus for cooling integrated circuits
A system and method are disclosed which may include measuring a leakage current level of a processor or multiprocessor chip; and storing an indicator value indicative of the leakage current level...
|
|
|
7620639 |
Comparison of models of a complex system
The invention relates to a method for comparing computer-based and data-processing models of a complex system, with a first model and a second model of the system, whereby the models reflect a...
|
|
|
7620536 |
Simulation techniques
The application describes various techniques for improving the accuracy and numerical stability of computer-implemented simulations which employ subgridding techniques. In particular, techniques...
|
|
|
7620535 |
Method and apparatus for the simulation of computer networks
A system and method are provided for simulating computer networks. Network device simulator provides individual simulations of individual network devices, which operate independently of one...
|
|
|
7620529 |
Method, apparatus, and computer program product for simulation of mixed-signal systems
The present invention comprises a method, an apparatus, and a computer program product for simulating a mixed-signal system. The invention comprises a first operation of generating a matrix-based...
|
|
|
7617474 |
System and method for providing defect printability analysis of photolithographic masks with job-based automation
Serious defects on a mask can compromise the functionality of the integrated circuits formed on the wafer. Nuisance defects, which do not affect the functionality, waste expensive resources. A...
|
|
|
7617303 |
Systems and method for optimizing access provisioning and capacity planning in IP networks
The present invention provides a method for avoiding demand forecast errors in a network topology model having a plurality of nodes, by monitoring and controlling the quantity of a selected port...
|
|
|
7614037 |
Method and system for graph analysis and synchronization
A cyclic graph may be partitioned. The partitions of the cyclic graph may include an acyclic component of the cyclic graph and a set of partitioned links. The partitions of the cyclic graph may...
|
|
|
7613961 |
CPU register diagnostic testing
One embodiment disclosed relates to a method of compiling a program to be executed on a target central processing unit (CPU). The method includes opportunistically scheduling diagnostic testing of...
|
|
|
7613598 |
Global shape definition method for scatterometry
A method for modeling samples includes the use of control points to define lines profiles and other geometric shapes. Each control point used within a model influences a shape within the model....
|
|
|
7610540 |
Method for generating, from a test cube set, a generator configured to generate a test pattern
Disclosed is a logic testing system that includes a decompressor and a tester in communication with the decompressor. The tester is configured to store a seed and locations of scan inputs and is...
|
|
|
7606786 |
Method and device for simulating process flows in the graphic industry
A method and a device for simulating process flows in the graphics industry and for displaying the result calculated in the simulated process flows. The method is characterized by the following...
|
|
|
7606165 |
What-if analysis for network diagnostics
A network troubleshooting framework is described. In an implementation, a method includes generating a first estimation of network performance by a simulator based on network settings obtained from...
|
|
|
7603713 |
Method for accelerating hardware emulator used for malware detection and analysis
A method and system for accelerating malware emulator by using an accelerator. The accelerator allows for a potentially malicious component (i.e., process) containing dummy processes to be executed...
|
|
|
7603639 |
Method, apparatus and computer program product for controlling jitter or the effects of jitter in integrated circuitry
Designing integrated circuitry (“IC”) includes simulating noise of modeled IC operation and applying the noise to buffers of a clock tree of the modeled IC, responsively generating a first...
|
|
|
7603372 |
Modeling file system operation streams
A method and a system for modeling file system operation streams of a computing environment. File system operations of the file system operation streams are workloads produced by the devices of the...
|
|
|
7600169 |
Systems and methods of test case generation with feedback
Systems and methods for implementing test case generation with feedback are disclosed. An exemplary system for test case generation with feedback comprises a plurality of knobs identifying test...
|
|
|
7599800 |
Apparatus and method for coding genetic information
Provided are an apparatus and a method for coding genetic information. An aligning unit aligns sample genetic information, wild-type probe genetic information, and mutant-type probe genetic...
|
|
|
7596772 |
Methodology and system for setup/hold time characterization of analog IP
A fast methodology and system to characterize setup/hold time for analog IPs are provided. Partial circuits of clock and data paths are simulated instead of the simulation of entire IPs. The...
|
|
|
7596420 |
Device manufacturing method and computer program product
A method is provided wherein a lithographic projection apparatus is used to print a series of test patterns on a test substrate to measure printed critical dimension as function of exposure dose...
|
|
|
7594208 |
Techniques for automated sweeping of parameters in computer-aided design to achieve optimum performance and resource usage
Techniques for optimizing the placement and synthesis of a circuit design on a programmable integrated circuit are provided. The performance of a circuit design is analyzed after it has been...
|
|
|
7590519 |
Distributed system simulation: slow message relaxation
Distributed system simulation is enhanced by extending the simulation window. In a described implementation, the simulation window extension is facilitated with a slow message relaxation scheme....
|
|
|
7590518 |
Circuit analysis utilizing rank revealing factorization
Method of forming a reduced model of a circuit. A circuit parameter is selected, and a plurality of values for the parameter are selected. A circuit or operator equation is solved for the selected...
|
|
|
7590137 |
Parameterizable compact network processor for low-level communication with an integrated circuit
A network processor, disposed on an integrated circuit can include an ingress unit having a dual port block random access memory and an egress unit having a dual port block random access memory....
|
|
|
7587688 |
User-directed timing-driven synthesis
Users or applications provide optimization information that specifies performance-critical portions of the design. Users can identify performance-critical portions of their designs from a priori...
|
|
|
7584450 |
Method and apparatus for using a database to quickly identify and correct a manufacturing problem area in a layout
One embodiment provides a system for using a database to quickly identify a manufacturing problem area in a layout. During operation, the system receives a first check-figure which identifies a...
|
|
|
7584088 |
System and method for simulating a stress or failure in a simulated network of program logic controllers
A system and method for simulating a stress or failure in a network of a plurality of simulated networked program logic controllers includes simulating a plurality of networked program logic...
|
|
|
7584082 |
Synchronization and data review system
A method and system to control data collection and display parameters in two or more data modules in a dynamic system. The method and system provide the ability to collect and display data in a...
|
|
|
7584059 |
Inhibition of immune complex formation
Polypeptides and other compounds that can bind specifically to the C H 2-C H 3 cleft of an immunoglobulin molecule, and methods for using such polypeptides and compounds to inhibit Fc-mediated...
|
|
|
7583262 |
Optimization of time-critical software components for real-time interactive applications
A method for optimizing the performance of a time-critical computation component for a real-time interactive application includes the use of an algorithm having a precise logical thread and at...
|
|
|
7581199 |
Use of state nodes for efficient simulation of large digital circuits at the transistor level
An integrated circuit design simulation method is provided that takes advantage of the fact that, when an instance of a circuit module has been simulated under a given set of input conditions, and...
|
|
|
7580962 |
Automatic code generation for co-simulation interfaces
A method of programmatically generating code from the elements of a system simulation is disclosed. The programmatic code generation includes the ability to generate code for foreign code...
|
|
|
7580826 |
Systems and methods for development of emulated devices in a virtual machine environment
The present invention discloses dynamically adding virtual devices to a virtual computing environment. The system described in the invention includes a virtualized computing system with a manifest,...
|
|
|
7580823 |
Generation and use of integrated circuit profile-based simulation information
The invention includes a method and a system for generating integrated circuit (IC) simulation information regarding the effect of design and fabrication process decisions. One embodiment includes...
|
|
|
7580822 |
Server recording and client playback of computer network characteristics
System and a method for server recording and client playback of computer network characteristics. In general, the network simulation system includes a recording module that resides on a server and...
|
|
|
7577558 |
System and method for providing compact mapping between dissimilar memory systems
A memory mapping system for providing compact mapping between dissimilar memory systems and methods for manufacturing and using same. The memory mapping system can compactly map contents from one...
|
|
|
7574343 |
System and method for logical modeling of distributed computer systems
A modeling system permits developers of applications for distributed computer system, such as those used in server data centers or Internet data centers (IDCs), to architect their hardware and...
|
|
|
7574342 |
Methods of model compilation for models used in an electronic circuit simulator
A method is provided for compiling a model for use in a simulation, the method comprising receiving a description of the model; and automatically converting the description into an implementation...
|
|
|
7574341 |
Speculative expectation based event verification
A computer implemented method of verifying events generated by an agent includes detecting a stimulus at an input of the agent and determining whether generation of an event by the agent in...
|
|
|
7571404 |
Fast on-chip decoupling capacitance budgeting method and device for reduced power supply noise
A semiconductor power network decoupling capacitance (decap) budgeting problem is formulated to minimize the total decap to be added to the network subject to voltage constraints on the network...
|
|
|
7571089 |
Method for simulating a system having multiple failure modes
A method is described for determining the effectiveness of maintenance or other improvements to a system having multiple sections and multiple modes of failure. The method uses a simulation model...
|
|
|
7570596 |
Method and apparatus for evaluating performance of wireless LAN system
A method for evaluating the performance of a wireless LAN (local area network) system having a single access point and a plurality of transmission terminals, which share the same radio channel,...
|
|
|
7567891 |
Hot-carrier device degradation modeling and extraction methodologies
The present invention is directed to a number of improvements in methods for hot-carrier device degradation modeling and extraction. Several improvements are presented for the improvement of...
|
|
|
7567890 |
Conversion of model components into references
An automated model componentization feature systematically converts duplicate or otherwise amenable patterns in a model into references. Multiple references are simplified to one unit that contains...
|
|
|
7567870 |
Multiparameter analysis for predictive medicine
The invention provides a method of determining a comparative expression profile in an individual by comparing the expression levels of a sample of molecules in a population of molecules in a...
|
|
|
7565275 |
Model and system state synchronization
Embodiments of model and system state synchronization are presented herein. An exemplary model of a distributed system includes a plurality of instances where an instance includes an instantiation...
|
|
|
7562322 |
Design verification for a switching network logic using formal techniques
Formal techniques are applied to industrial design problems such as verification of a circuit design. Initial decisions may include defining properties to verify the design. An abstraction of the...
|
|
|
7562320 |
Asic based conveyor belt style programmable cross-point switch hardware accelerated simulation engine
An ASIC based hardware accelerated simulation engine accelerates logic verification of integrated circuit designs utilizing a field of ASIC chips interconnected by direct connections. Communication...
|
|
|
7562004 |
Determining better configuration for computerized system
A better configuration for a computerized system is determined by performing a first stage and a second stage. In the first stage, the performance of each system configuration, including candidate...
|
|
|
7558718 |
Method and system for design verification of video processing systems with unbalanced data flow
In a video system, a method and system for design verification of video processing systems with unbalanced data flow are provided. Efficient design verification may be provided for multi-field...
|