Information Technology

Data Processing: Structural Design, Modeling, Simulation, And Emulation

Timing

No:7072820

Accessing state information in a hardware/software co-simulation

No:6397169

Adaptive cell separation and circuit changes driven by maximum capacitance rules

No:6169968

Apparatus and method for estimating performance integrated circuit

No:5500808

Apparatus and method for estimating time delays using unmapped combinational logic networks

No:5426591

Apparatus and method for improving the timing performance of a circuit

No:5675728

Apparatus and method identifying false timing paths in digital circuits

No:7016826

Apparatus and method of developing software for a multi-processor chip

No:5974247

Apparatus and method of lsi timing degradation simulation

No:7155691

Apparatus and methods for compiled static timing analysis

No:5715170

Apparatus for forming input data for a logic simulator

No:7239997

Apparatus for statistical lsi delay simulation

No:6393480

Application response time prediction

No:7356451

Assertion handling for timing model extraction

No:7197445

Atomic transaction processing for logic simulation

No:5396435

Automated circuit design system and method for reducing critical path delay times

No:5210700

Automatic delay adjustment for static timing analysis

No:5278769

Automatic logic model generation from schematic data base

No:5463563

Automatic logic model generation from schematic data base

No:6378113

Black box transparency in a circuit timing model

No:7363610

Building integrated circuits using a common database

No:7239996

Causality based event driven timing analysis engine

No:7480607

Circuit design verification

No:7478030

Clock stabilization detection for hardware simulation

No:6879927

Communication interface for virtual ic tester

No:7460984

Compensating for delay in modeling environments

No:5586046

Computer implemented method for generating an integrated circuit design

No:5175843

Computer-aided design method for restructuring computational networks to minimize shimming delays

No:6216255

Computer-aided logic circuit designing apparatus computer-aided logic circuit designing system, and computer-aided logic circuit designing method

No:7197629

Computing overhead for out-of-order processors by the difference in relative retirement times of instructions

No:6799153

Cross coupling delay characterization for integrated circuits

No:6625572

Cycle modeling in cycle accurate software simulators of hardware modules for software/software cross-simulation and hardware/software co-simulation

No:6338025

Data processing system and method to estimate power in mixed dynamic/static cmos designs

No:6629299

Delay library representation method, delay library generation method and delay calculation method using the delay library

No:7127385

Delay time estimation method and recording medium storing estimation program

No:6353917

Determining a worst case switching factor for integrated circuit design

No:7206958

Determining cycle adjustments for static timing analysis of multifrequency circuits

No:7072821

Device and method for synchronizing an asynchronous signal in synthesis and simulation of a clocked circuit

No:6907394

Device for simulating circuits, method for simulating the same, and recording medium

No:7246054

Discrete event simulation system and method

No:7162411

Dynamic data trace output scheme

No:7346483

Dynamic fifo for simulation

No:6754598

Electromagnetic interference analysis method and apparatus

No:6876961

Electronic system modeling using actual and approximated system properties

No:7302378

Electrostatic discharge protection device modeling method and electrostatic discharge simulation method

No:6996515

Enabling verification of a minimal level sensitive timing abstraction model

No:7315806

Enhanced negative constraint calculation for event driven simulations

No:7167821

Evaluating hardware models having resource contention

No:7162389

Evaluation device for control unit, simulator, and evaluation system

No:6023568

Extracting accurate and efficient timing models of latch-based designs

No:7409329

Flexible spdif verification tool