|
Match
|
Document |
Document Title |
|
|
7624001 |
Analysis method, program for performing the method, and information processing apparatus
An analysis method of analyzing a discharge phenomenon in an information processing apparatus having a memory includes calculating differences in potential between nodes on a first surface of a...
|
|
|
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...
|
|
|
7596539 |
Method and apparatus for providing connection information of functional components within a computer system
A method and apparatus for determining connections among functional components within a computer system are disclosed. A rule table for describing all interconnections among the components within a...
|
|
|
7593836 |
Electromagnetic field simulator and electromagnetic field simulation program
A wavelength computation unit computes a wavelength inside a substance based on the values of an analytical model that is set with an analytical model setting unit and values defining a wave source...
|
|
|
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....
|
|
|
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...
|
|
|
7574625 |
Active content wizard testing
Automated testing of active content wizards is provided. A test infrastructure (TI) accesses a list of ACW to test and controls an ACW runtime engine to execute the ACWs. During ACW execution, the...
|
|
|
7571398 |
Method for the determination of the quality of a set of properties, usable for the verification and specification of circuits
A method is specified for determining the quality of a quantity of properties describing a machine, including a step for determining the existence of at least one sub-quantity of interrelated...
|
|
|
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...
|
|
|
7567893 |
Clock simulation system and method
A simulation system, a computer product to implement a simulation method, and a method of simulating a digital circuit that has at least one element and at least one clock signal having clock...
|
|
|
7565279 |
Callbacks in asynchronous or parallel execution of a physics simulation
Embodiments of a callback procedure mechanism and method are disclosed in relation to a system running a physics simulation in parallel with a main application. A main application registers...
|
|
|
7561999 |
Verification apparatus, verification method, and program
A verification apparatus that efficiently performs hardware verification and software verification in the development of a system LSI with great accuracy. At the hardware verification, an...
|
|
|
7552034 |
Method and computer program for use in locating wireless base stations in a mobile communications system
When locating base stations which are wirelessly coupled with each other and establish one or more inter-cell wireless relay routes in a mobile communications system, the heights of directional...
|
|
|
7546226 |
Architecture for automating analytical view of business applications
The present invention provides an architecture for obtaining an analytical view of data. The invention includes a model service component for receiving an indication of a first object model and...
|
|
|
7529655 |
Program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language
According to one method of simulation processing, instrumentation code, such as an runtime executive (rtx), receives one or more statements describing an count event and identifying the count event...
|
|
|
7516430 |
Generating testcases based on numbers of testcases previously generated
A method, apparatus, system, and signal-bearing medium that, in an embodiment, receive elements and a goal for each of the elements. In various embodiments, the elements may represent commands or...
|
|
|
7516051 |
Overhead power transmission line conductor selection
In general the invention is directed to systems and methods to identify conductors that may be used as part of a power transmission line system. In one embodiment, the invention is directed to a...
|
|
|
7512531 |
Method and apparatus for specifying reactive systems
A method for specifying reactive systems using Dynamic State Machines (DSMs) is disclosed. The method extends statecharts in three areas. One is the integration of a group of related finite state...
|
|
|
7509619 |
Auto generation of a multi-staged processing pipeline hardware implementation for designs captured in high level languages
A method of creating a multi-staged hardware implementation based upon a high level language (HLL) program can include generating a language independent model (LIM) from the HLL program, wherein...
|
|
|
7505884 |
Method for automatic generation of finite element mesh from IC layout data
The present invention includes a method for performing a thermal analysis, including the steps of determining size and placement of each of a plurality of drivers on an integrated circuit device....
|
|
|
7505880 |
Analysis method, program for performing the method, and information processing apparatus
An analysis method of analyzing a discharge phenomenon in an information processing apparatus having a memory includes calculating differences in potential between nodes on a first surface of a...
|
|
|
7490029 |
Distributed simulation
A method and apparatus are presented to facilitate simulation of complex systems on multiple computing devices. Model authors can specify state-related information to be exported for viewing or...
|
|
|
7487077 |
Modeling delay using a discrete event execution modeling environment
A discrete event system (DES) modeling environment models the occurrence of events independent of continuous model time. In a DES modeling environment, state transitions depend not directly on...
|
|
|
7480609 |
Applying distributed simulation techniques to hardware emulation
A system for applying distributed software simulation techniques to hardware emulation may include a first hardware emulator mounted on a first expansion board at a first host, and a second...
|
|
|
7480608 |
Method and system for reducing storage requirements of simulation data via KEYWORD restrictions
Disclosed herein is a method of managing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, a restriction list...
|
|
|
7480606 |
VCD-on-demand system and method
In the VCD-On-Demand system, the EDA tool has the following attributes: (1) RCC-based parallel simulation history compression and recording, (2) RCC-based parallel simulation history decompression...
|
|
|
7469203 |
Wireless network hybrid simulation
A simulation method and system partitions network traffic into background traffic and explicit traffic, wherein explicit traffic is processed in detail, and background traffic is processed at a...
|
|
|
7464009 |
Systems, methods, and articles of manufacture for flexible path optimization
A flexible transportation optimization approach is described that can easily be implemented on multi-tiered computer systems and that does not unnecessarily consume processing and memory resources....
|
|
|
7460989 |
Method and apparatus for modeling multiple concurrently dispatched instruction streams in super scalar CPU with a sequential language
A method is provided, wherein a virtual internal master clock is used in connection with a RISC CPU. The RISC CPU comprises a number of concurrently operating function units, wherein each unit runs...
|
|
|
7454325 |
Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases
According to one method of simulation processing, a count event counter for a count event is created within instrumentation of a hardware description language (HDL) simulation model of a design and...
|
|
|
7451073 |
System and method for increasing performance in multi-CPU simulation
A system and method for increasing performance in a simulator environment operable to simulate a multiprocessor platform with program code running thereon. A set of processors are initialized upon...
|
|
|
7447619 |
Apparatus and method for composite behavioral modeling for multiple-sourced integrated circuits
An apparatus and method for simulation and testing of electronic systems using a single model that has the composite behavioral information of multiple parts. The single model allows the designer...
|
|
|
7444277 |
Facilitating simulation of a model within a distributed environment
Simulation of models within a distributed environment is facilitated. A model is partitioned based on clock domains, and communication between partitions on different processors is performed on...
|
|
|
7412371 |
Time synchronized playback and control of dissimilar data files
A system, and a corresponding method, provides time synchronized playback and control of dissimilar data in a simulation architecture. The system includes a master site including a controller, and...
|
|
|
7395197 |
Verification method and system for logic circuit
A shared register row is provided between a program-based circuit simulator and a device-based circuit simulator. The shared register row includes a plurality of shared registers each corresponding...
|
|
|
7395196 |
Test-cases for functional verification of system-level interconnect
Generation of test cases for functional verification of a complex system-under-test is achieved by the use of a probability matrix. The probability matrix represents a non-uniform distribution...
|
|
|
7392169 |
Method, system and program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language
According to one method of simulation processing, instrumentation code, such as an runtime executive (rtx), receives one or more statements describing an count event and identifying the count event...
|
|
|
7389218 |
Hardware and software co-simulation method for non-blocking cache access mechanism verification
A hardware and software co-simulation method for non-blocking cache access mechanism verification is provided. The method is applied for cache access mechanism verification. First, at least one way...
|
|
|
7380168 |
System development tool
According to some embodiments, execution information is received from a first development tool. Execution information is also received from a second development tool. Based on the first execution...
|
|
|
7363203 |
Determining event causality including employment of partitioned event space
Causal relationships between events in a plurality of interrelated causal chains are maintained in a network event space through the partitioning of the event space into event subspaces. In this...
|
|
|
7363199 |
Method and apparatus for simulating soft object movement
Movement of a soft body is simulated by defining its surface as an arbitrary mesh of points connected by edges. Each point is represented as a point mass, subject to conventional laws of motion....
|
|
|
7359847 |
Tracking converage results in a batch simulation farm network
A method and system for providing centralized access to count event information from testing of a hardware simulation model within a batch simulation farm which includes simulation clients and an...
|
|
|
7356424 |
Diagnostic compiler for pipeline analog-to-digital converter, method of compiling and test system employing the same
The present invention is directed to a diagnostic compiler for use with a pipeline analog-to-digital converter (ADC) having code sequences corresponding to stages thereof. In one embodiment, the...
|
|
|
7353162 |
Scalable reconfigurable prototyping system and method
A method and a system provide a reconfigurable platform for designing and emulating a user design. The method and system facilitates design and emulation of a system-on-a-chip type user design. The...
|
|
|
7353160 |
Method for controlling sequential object-oriented system-simulations
In a method for controlling sequential object-oriented system-simulations, presentation of an object of a group of objects to an instance-to-class is carried out in the following manner. The...
|
|
|
7319947 |
Method and apparatus for performing distributed simulation utilizing a simulation backplane
A method and apparatus for performing distributed simulation is presented. According to an embodiment of the present invention, simulators are interfaced to a simulation backplane via...
|
|
|
7315806 |
Enhanced negative constraint calculation for event driven simulations
A technique to enable accurate timing and functional verification in a negative constraint calculation (NCC) implemented event-driven logic simulators when there are negative constraints in logic...
|
|
|
7313511 |
Method and apparatus for computer simulation of flight test beds
Virtual Real Time (VRT) provides high fidelity timing for software simulator environment running in a workstation. VRT is scalable and controllable. VRT provides flight and simulation software...
|
|
|
7313449 |
Handshaking configuration mechanisms in graphical programming environments
Graphical programming or modeling environments, such as a block diagram environment, are disclosed in which graphical programs or models are configured using handshaking communication between...
|
|
|
7302377 |
Accelerated event queue for logic simulation
An event queue for use with a software-enabled logic simulation tool can include a heap array and a hash table data structure. The heap array can include time slots organized such that each time...
|