Simulation server system and method

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 6134516
SERIAL NO

09019384

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

The SEmulation system provides four modes of operation: (1) Software Simulation, (2) Simulation via Hardware Acceleration, (3) In-Circuit Emulation (ICE), and (4) Post-Simulation Analysis. At a high level, the present invention may be embodied in each of the above four modes or various combinations of these modes. At the core of these modes is a software kernel which controls the overall operation of this system. The main control loop of the kernel executes the following steps: initialize system, evaluate active test-bench processes/components, evaluate clock components, detect clock edge, update registers and memories, propagate combinational components, advance simulation time, and continue the loop as long as active test-bench processes are present. A Simulation server in accordance with an embodiment of the present invention allows multiple users to access the same reconfigurable hardware unit to effectively simulate and accelerate the same or different user designs in a time-shared manner in both a network and a non-network environment. The server provides the multiple users or processes to access the reconfigurable hardware unit for acceleration and hardware state swapping purposes. The Simulation server includes the scheduler, one or more device drivers, and the reconfigurable hardware unit. The scheduler in the Simulation server is based on a preemptive round robin algorithm. The server scheduler includes a simulation job queue table, a priority sorter, and a job swapper.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

Patent OwnerAddressTotal Patents
CADENCE DESIGN SYSTEMS, INC.SAN JOSE, CA1750

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Lin, Sharon Sheau-Pyng Cupertino, CA 11 958
Shen, Quincy Kun-Hsu Union City, CA 5 452
Sun, Richard Yachyang San Jose, CA 10 305
Tsai, Mike Mon Yen Los Altos Hills, CA 4 314
Tsay, Ren-Song Palo Alto, CA 18 407
Tseng, Ping-Sheng Sunnyvale, CA 20 1467
Wang, Steven Cupertino, CA 46 675

Cited Art Landscape

Patent Info (Count) # Cites Year
 
Other [Check patent profile for assignment information] (5)
* 4682440 Animal trap 34 1986
* 4849928 Logic array programmer 43 1987
* 4827427 Instantaneous incremental compiler for producing logic circuit designs 101 1987
* 5051938 Simulation of selected logic circuit designs 122 1989
5546562 Method and apparatus to emulate VLSI circuits within a logic simulator 145 1995
 
SAMSUNG ELECTRONICS CO., LTD. (1)
* 4488354 Method for simulating and testing an integrated circuit chip 61 1981
 
MI ACQUISITION LLC (1)
* 5140526 Partitioning of Boolean logic equations into physical logic devices 80 1989
 
XILINX, INC. (6)
* 4642487 Special interconnect for configurable logic array 440 1984
* 4706216 Configurable logic element 514 1985
* 4758985 Microprocessor oriented configurable logic element 279 1986
* 4870302 Configurable electrical circuit having configurable logic elements and configurable interconnects 776 1988
* 5343406 Distributed memory architecture for a configurable logic array and method for using distributed memory 278 1989
* 5224056 Logic placement using positionally asymmetrical partitioning algorithm 126 1991
 
HITACHI, LTD. (2)
* 4918594 Method and system for logical simulation of information processing system including logic circuit model and logic function model 53 1987
* 5231589 Input/output pin assignment method 36 1990
 
NXP B.V. (1)
* 5272651 Circuit simulation system with wake-up latency 25 1990
 
Hitachi Microcomputer Engineering Ltd. (3)
* 4942536 Method of automatic circuit translation 56 1986
* 4803636 Circuit translator 54 1986
* 5046017 Wiring design for semiconductor integrated circuit 58 1988
 
KABUSHIKI KAISHA TOSHIBA (3)
* 4823276 Computer-aided automatic wiring method for semiconductor integrated circuit device 50 1987
5784591 Parallel simulator for semiconductor integrated circuit 7 1995
5603015 Logic simulation apparatus for executing simulation of a circuit 18 1995
 
NORTHROP GRUMMAN CORPORATION (1)
5452227 Method and apparatus for converting a programmable logic device designed into a selectable target gate array design 51 1991
 
BELL TELEPHONE LABORATORIES, INCORPORATED (3)
* 4578761 Separating an equivalent circuit into components to detect terminating networks 30 1983
* 4577276 Placement of components on circuit substrates 124 1983
* 4908772 Integrated circuits with component placement by rectilinear partitioning 138 1987
 
INTERNATIONAL BUSINESS MACHINES CORPORATION (10)
* 4503386 Chip partitioning aid (CPA)-A structure for test pattern generation for large logic networks 65 1982
* 4656580 Logic simulation machine 113 1982
* 4593363 Simultaneous placement and wiring for VLSI chips 154 1983
* 4862347 System for simulating memory arrays in a logic simulation machine 136 1986
* 4695999 Cross-point switch of multiple autonomous planes 67 1986
* 4849904 Macro structural arrangement and method for generating macros for VLSI semiconductor circuit devices 54 1987
* 5003487 Method and apparatus for performing timing correction transformations on a technology-independent logic model during logic synthesis 93 1988
* 5146460 Logic simulation using a hardware accelerator together with an automated error event isolation and trace facility 77 1990
* 5263149 Integrated circuit logic functions simulator for selectively connected series of preprogrammed PLA devices using generated sequence of address signals being provided between simulated clock cycles 37 1991
5721953 Interface for logic simulation using parallel bus for concurrent transfers and having FIFO buffers for sending data to receiving units when ready 12 1996
 
AT&T IPM CORP. (1)
5513339 Concurrent fault simulation of circuits with both logic elements and functional circuits 156 1994
 
LSI LOGIC CORPORATION (1)
* 4901259 Asic emulator 86 1988
 
LATTICE SEMICONDUCTOR CORPORATION (4)
* 5233539 Programmable gate array with improved interconnect structure, input/output structure and configurable logic block 173 1989
* 5260881 Programmable gate array with improved configurable logic block 73 1989
* 5128871 Apparatus and method for allocation of resoures in programmable logic devices 220 1990
* 5231588 Programmable gate array with logic cells having symmetrical input/output structures 105 1990
 
U.S. PHILIPS CORPORATION (1)
* 4656592 Very large scale integrated circuit subdivided into isochronous regions, method for the machine-aided design of such a circuit, and method for the machine-aided testing of such a circuit 111 1984
 
SIEMENS AKTIENGESELLSCHAFT (1)
* 4951220 Method and apparatus for manufacturing a test-compatible, largely defect-tolerant configuration of redundantly implemented, systolic VLSI systems 54 1988
 
ZORAN CORPORATION (1)
* 4786904 Electronically programmable gate array having programmable interconnect lines 177 1986
 
FUJITSU LIMITED (2)
* 4942615 Gate processor arrangement for simulation processor system 38 1988
* 5258932 PLA simulation method 25 1991
 
RICOH COMPANY, LTD. (2)
* 4922432 Knowledge based method and apparatus for designing integrated circuits using functional specifications 173 1988
* 5197016 Integrated silicon-software compiler 111 1989
 
DUKE UNIVERSITY (1)
* 4621339 SIMD machine using cube connected cycles network architecture for vector processing 162 1983
 
NATIONAL SEMICONDUCTOR CORPORATION (2)
* 5084824 Simulation model generation from a physical data base of a combinatorial circuit 153 1990
* 5189628 System and method for partitioning PLA product terms into distinct logical groups 24 1991
 
INTEL CORPORATION (1)
* 5023775 Software programmable logic array utilizing "and" and "or" gates 121 1990
 
DAISY/CADNETIX INC., A CORP. OF COLORADO (1)
* 4872125 Multiple processor accelerator for logic simulation 63 1988
 
TEXAS INSTRUMENTS INCORPORATED (1)
* 4740919 Electrically programmable logic array 35 1986
 
MITSUBISHI DENKI KABUSHIKI KAISHA (2)
* 4835705 Interconnection area decision processor 55 1987
* 4876466 Programmable logic array having a changeable logic structure 120 1988
 
RICA CORPORATION, A CORP. OF (1)
* 4815003 Structured design method for high density standard cell and macrocell layout of VLSI chips 152 1987
 
NORTEL NETWORKS LIMITED (2)
* 4777606 Method for deriving an interconnection route between elements in an interconnection medium 149 1986
* 5193068 Method of inducing off-circuit behavior in a physical model 16 1990
 
CIRRUS LOGIC INTERNATIONAL LTD. (1)
* 4931946 Programmable tiles 50 1988
 
NCR CORPORATION (1)
* 4901260 Bounded lag distributed discrete event simulation method and apparatus 65 1987
 
CADENCE DESIGN SYSTEMS, INC. (14)
5475830 Structure and method for providing a reconfigurable emulation circuit without hold time violations 114 1992
* 5352123 Switching midplane and interconnection system for interconnecting large numbers of signals 97 1992
5452239 Method of removing gated clocks from the clock nets of a netlist for timing sensitive implementation of the netlist in a hardware emulation system 281 1993
5448522 Multi-port memory emulation using tag registers 31 1994
5452231 Hierarchically connected reconfigurable logic assembly 165 1994
5448496 Partial crossbar interconnect architecture for reconfigurably connecting multiple reprogrammable logic devices in a logic emulation system 134 1994
5477475 Method for emulating a circuit design using an electrically reconfigurable hardware emulation apparatus 66 1994
5612891 Hardware logic emulation system with memory capability 64 1995
5657241 Routing methods for use in a logic emulation system 39 1995
5661662 Structures and methods for adding stimulus and response functions to a circuit design undergoing emulation 72 1995
5644515 Hardware logic emulation system capable of probing internal nodes in a circuit design undergoing emulation 39 1995
5649167 Methods for controlling timing in a logic emulation system 28 1995
5563829 Multi-port memory emulation using tag registers 25 1995
5841967 Method and apparatus for design verification using emulation and simulation 82 1996
 
FREESCALE SEMICONDUCTOR, INC. (1)
* 4935734 Semi-conductor integrated circuits/systems 181 1986
 
VLSI TECHNOLOGY, INC. (1)
* 4965739 Machine process for routing interconnections from one module to another module and for positioning said two modules after said modules are interconnected 83 1989
 
PIE DESIGNS SYSTEMS, INC. (1)
5425036 Method and apparatus for debugging reconfigurable emulation systems 278 1992
 
QUICKTURN DESIGN SYSTEMS, INC. (7)
* 4914612 Massively distributed simulation engine 81 1988
* 5109353 Apparatus for emulation of electronic hardware system 196 1988
* 5036473 Method of using electronically reconfigurable logic circuits 307 1989
* 5114353 Multiple connector arrangement for printed circuit board interconnection 24 1991
* 5259006 Method for substantially eliminating hold time violations in implementing high speed logic circuits or the like 112 1991
* 5329470 Reconfigurable hardware emulation system 142 1993
5796623 Apparatus and method for performing computations with electrically reconfigurable logic devices 34 1996
 
NEC CORPORATION (7)
* 4541071 Dynamic gate array whereby an assembly of gates is simulated by logic operations on variables selected according to the gates 41 1983
* 4752887 Routing method for use in wiring design 71 1986
* 4747102 Method of controlling a logical simulation at a high speed 32 1986
* 4945503 Hardware simulator capable of reducing an amount of information 42 1987
* 4924429 Hardware logic simulator 50 1988
* 5041986 Logic synthesis system comprising a memory for a reduced number of translation rules 32 1989
5467462 Event driven logic simulator for partial simulation 32 1992
 
AT&T LABS, INC. (1)
* 5093920 Programmable processing elements interconnected by a communication network including field operation unit for performing field operations 47 1989
 
PRINCETON UNIVERSITY, NON-PROFIT ORGANIZATION (1)
* 4811214 Multinode reconfigurable pipeline computer 247 1986
 
MENTOR GRAPHICS CORPORATION (10)
* 4787061 Dual delay mode pipelined logic simulator 55 1986
* 4736338 Programmable look up system 31 1986
* 4744084 Hardware modeling system and method for simulating portions of electrical circuits 132 1987
* 5377124 Field programmable printed circuit board 47 1989
* 5126966 High speed logic simulation system with stimulus engine using independent event channels selectively driven by independent stimulus programs 50 1990
* 5371390 Interconnect substrate with circuits for field-programmability and testing of multichip modules and hybrid circuits 79 1992
5504354 Interconnect substrate with circuits for field-programmability and testing of multichip modules and hybrid circuits 34 1994
5661409 Field programmable printed circuit board 24 1995
5654564 Interconnect structure with programmable IC for interconnecting electronic components, including circuitry for controlling programmable IC 59 1996
5850537 Pipe lined static router and scheduler for configurable logic system performing simultaneous communications and computation 47 1997
 
AMP Incorporated (1)
* 5081602 Computer simulator for electrical connectors 34 1989
 
RACAL RESEARCH INC. (1)
* 4768196 Programmable logic array 64 1986
 
RCA Corporation (1)
* 4612618 Hierarchical, computerized design of integrated circuits 107 1983
 
HITACHI SOFTWARE ENGINEERING CO., LTD. (1)
* 4882690 Incremental logic synthesis method 83 1986
 
SIMPOD, INC. (1)
5748875 Digital logic simulation/emulation system 118 1996
 
MARHOEFER, LAURENCE J. (1)
* 4791602 Soft programmable logic array 60 1986
 
United Kingdom and British Telecommunications (1)
* 4675832 Visual display logic simulation system 75 1984
 
LAVI, YOAV (1)
* 4697241 Hardware logic simulator 109 1985
 
RPX CORPORATION (1)
* 2004/0133,803 Methods and apparatus for protecting information 10 2003
 
KAWASAKI MICROELECTRONICS, INC. (1)
* 5253181 Programmable one-board computer, and methods of verification of logic circuit and alteration to actual circuit using the programmable one-board computer 43 1990
 
BANK SOUTH, N.A. (1)
* 4949275 Semiconductor integrated circuit device made by a standard-cell system and method for manufacture of same 53 1985
 
UNISYS CORPORATION (1)
* 4819150 Array for simulating computer functions for large computer systems 20 1985
 
MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD. (1)
* 5053980 Method and apparatus for logic simulation 35 1989
 
AT&T CORP. (1)
* 5375074 Unboundedly parallel simulations 31 1990
 
ATMEL CORPORATION (2)
* 4700187 Programmable, asynchronous logic cell and array 153 1985
* 4918440 Programmable logic cell and array 177 1986
* Cited By Examiner

Patent Citation Ranking

Forward Cite Landscape

Patent Info (Count) # Cites Year
 
Other [Check patent profile for assignment information] (5)
* 2002/0147,894 Program-controlled unit 0 2002
* 2003/0188,278 Method and apparatus for accelerating digital logic simulations 9 2003
* 7224185 System of finite state machines 87 2003
* 2006/0036,413 System of finite state machines 0 2003
9843327 PSOC architecture 0 2014
 
INTERNATIONAL TRUCK INTELLECTUAL PROPERTY COMPANY, LLC (2)
* 7200543 Method for fault analysis using simulation 4 2004
* 2006/0041,417 Method for fault analysis using simulation 10 2004
 
VIA TECHNOLOGIES, INC. (1)
* 6467072 Method of placement and routing for an array device 92 1999
 
FARADAY TECHNOLOGY CORP. (1)
* 2006/0104,212 Method of dynamically determining optimum size of buffer 1 2004
 
CYPRESS SEMICONDUCTOR CORPORATION (31)
8149048 Apparatus and method for programmable power management in a programmable analog circuit block 4 2001
8176296 Programmable microcontroller architecture 13 2001
7844437 System and method for performing next placements and pruning of disallowed placements for programming an integrated circuit 1 2001
7770113 System and method for dynamically generating a configuration datasheet 5 2001
7761845 Method for parameterizing a user module 4 2002
8533677 Graphical user interface for dynamically reconfiguring a programmable device 4 2002
8067948 Input/output multiplexer bus 21 2007
7825688 Programmable microcontroller architecture(mixed analog/digital) 11 2007
8069428 Techniques for generating microcontroller configuration information 14 2007
8092083 Temperature sensor with digital bandgap 6 2007
8026739 System level interconnect with programmable switching 36 2007
7737724 Universal digital block interconnection and channel routing 16 2007
9564902 Dynamically configurable and re-configurable data path 0 2007
8078894 Power management architecture, method and configuration system 15 2008
9720805 System and method for controlling a target device 0 2008
8040266 Programmable sigma-delta analog-to-digital converter 4 2008
8516025 Clock driven dynamic datapath chaining 5 2008
8130025 Numerical band gap 3 2008
8370791 System and method for performing next placements and pruning of disallowed placements for programming an integrated circuit 3 2008
9448964 Autonomous control in a programmable system 0 2010
8358150 Programmable microcontroller architecture(mixed analog/digital) 9 2010
8482313 Universal digital block interconnection and channel routing 4 2011
8555032 Microcontroller programmable system on a chip with programmable interconnect 7 2011
8499270 Configuration of programmable IC design elements 4 2011
8909960 Power management architecture, method and configuration system 2 2011
8527949 Graphical user interface for dynamically reconfiguring a programmable device 23 2011
8476928 System level interconnect with programmable switching 4 2011
8793635 Techniques for generating microcontroller configuration information 0 2011
8717042 Input/output multiplexer bus 1 2011
8736303 PSOC architecture 2 2011
9766650 Microcontroller programmable system on a chip with programmable interconnect 0 2015
 
UNIVERSITY TECHNOLOGIES INTERNATIONAL INC. (1)
* 2004/0225,483 FDTD HARDWARE ACCELERATION SYSTEM 13 2004
 
MENTOR GRAPHICS, META SYSTEMS DIVISION (2)
7983893 Fault support in an emulation environment 4 2008
* 2009/0177,459 FAULT SUPPORT IN AN EMULATION ENVIRONMENT 8 2008
 
CADENCE DESIGN SYSTEMS, INC. (12)
* 6681377 Timing resynthesis in a multi-clock emulation system 8 2002
* 7257524 Simulation and timing control for hardware accelerated simulation 9 2002
* 2003/0171,908 Simulation and timing control for hardware accelerated simulation 4 2002
7505891 Multi-user server system and method 3 2003
* 2004/0236,556 Multi-user server system and method 9 2003
* 7356455 Optimized interface for simulation and visualization data transfer between an emulation system and a simulator 2 2004
* 2005/0114,113 Optimized interface for simulation and visualization data transfer between an emulation system and a simulator 3 2004
* 8161502 Method and apparatus for implementing a task-based interface in a logic verification system 2 2008
* 2010/0083,289 Method and Apparatus for Implementing a Task-Based Interface in a Logic Verification System 1 2008
* 9195784 Common shared memory in a verification system 1 2011
* 2011/0307,233 COMMON SHARED MEMORY IN A VERIFICATION SYSTEM 64 2011
9026966 Co-simulation methodology to address performance and runtime challenges of gate level simulations with, SDF timing using emulators 1 2014
 
BUCKLEY, DELMAS R., JR. (1)
* 2003/0135,832 Method for creating a design verification test bench 7 2002
 
XILINX, INC. (7)
6539532 Method and apparatus for relocating elements in an evolvable configuration bitstream 10 1999
* 6430736 Method and apparatus for evolving configuration bitstreams 89 1999
6378122 Method and apparatus for evolving a plurality of versions of a configuration bitstream in parallel 9 1999
6363517 Method and apparatus for remotely evolving configuration bitstreams 12 1999
6363519 Method and apparatus for testing evolvable configuration bitstreams 24 1999
* 7444610 Visualizing hardware cost in high level modeling systems 1 2005
7913217 Visualizing hardware cost in high level modeling systems 2 2008
 
ORACLE AMERICA, INC. (1)
* 6745374 Algorithms for determining path coverages and activity 2 2002
 
UNITED BUSINESS MEDIA LLC (4)
7444256 System and method for testing hardware or software modules via a computer network 2 2003
* 2004/0267,502 System for accessing and testing evaluation modules via a global computer network 1 2003
7984428 Methods and systems for testing evaluation modules 10 2004
7761259 Methods and systems for testing evaluation modules 6 2004
 
S2C Inc. (2)
7353162 Scalable reconfigurable prototyping system and method 21 2005
* 2006/0184,350 Scalable reconfigurable prototyping system and method 7 2005
 
TWITTER, INC. (2)
7076781 Resource reservation for large-scale job scheduling 17 2002
* 2004/0015,973 Resource reservation for large-scale job scheduling 11 2002
 
NEC CORPORATION (2)
* 2003/0229,486 System level simulation method and device 4 2003
* 2010/0115,242 ENGINE/PROCESSOR COOPERATION SYSTEM AND COOPERATION METHOD 1 2008
 
MONTEREY RESEARCH, LLC (19)
* 7188063 Capturing test/emulation and enabling real-time debugging using an FPGA for in-circuit emulation 51 2001
8160864 In-circuit emulator and pod synchronized boot 1 2001
8103496 Breakpoint control in an in-circuit emulation system 6 2001
7765095 Conditional branching in an in-circuit emulation system 4 2001
8078970 Graphical user interface with user-selectable list-box 7 2001
7526422 System and a method for checking lock-step consistency between an in circuit emulation and a microcontroller 2 2001
* 6922821 System and a method for checking lock step consistency between an in circuit emulation and a microcontroller while debugging process is in progress 65 2001
8069405 User interface for efficiently browsing an electronic document using data-driven tabs 5 2001
7774190 Sleep and stall in an in-circuit emulation system 4 2001
8103497 External interface for event architecture 6 2002
8089461 Touch wake for electronic devices 2 2005
8286125 Model for a hardware device-independent method of defining embedded firmware for programmable systems 2 2005
8069436 Providing hardware independence to automate code generation of processing device firmware 5 2005
8085067 Differential-to-single ended signal converter circuit and method 6 2006
8049569 Circuit and method for improving the accuracy of a crystal-less oscillator having dual-frequency modes 10 2007
8402313 Reconfigurable testing system and method 5 2007
8085100 Poly-phase frequency synthesis oscillator 2 2008
8120408 Voltage controlled oscillator delay cell and method 1 2008
8539398 Model for a hardware device-independent method of defining embedded firmware for programmable systems 0 2010
 
FTL Systems, Inc. (3)
7278122 Hardware/software design tool and language specification mechanism enabling efficient technology retargeting and optimization 21 2005
* 2005/0289,485 Hardware/software design tool and language specification mechanism enabling efficient technology retargeting and optimization 11 2005
* 2010/0023,308 METHOD FOR ACCELERATING SIMULATION PERFORMANCE AND INCREASING SIMULATION ACCURACY OF MODELS USING DYNAMIC SELECTION AND REPLACEMENT OF EXECUTABLE EMBODIMENTS WITH TEMPORALLY OPTIMAL FUNCTIONAL DETAIL AND SIMPLIFICATION 4 2009
 
MENTOR GRAPHICS CORPORATION (13)
* 7072820 Accessing state information in a hardware/software co-simulation 10 2000
* 7401015 Coherent state among multiple simulation models in an EDA simulation environment 8 2001
8214195 Testing in a hardware emulation environment 5 2008
* 2009/0240,457 TESTING IN A HARDWARE EMULATION ENVIRONMENT 10 2008
* 2009/0248,390 TRACE DEBUGGING IN A HARDWARE EMULATION ENVIRONMENT 15 2008
8046209 Coherent state among multiple simulation models in an EDA simulation environment 0 2008
* 2008/0215,304 COHERENT STATE AMONG MULTIPLE SIMULATION MODELS IN AN EDA SIMULATION ENVIRONMENT 8 2008
8195446 Monitoring physical parameters in an emulation environment 5 2010
8473273 Fault support in an emulation environment 4 2011
8886509 Coherent state among multiple simulation models in an EDA simulation environment 1 2011
9323632 Monitoring physical parameters in an emulation environment 2 2012
8645118 Fault support in an emulation environment 4 2013
9026423 Fault support in an emulation environment 4 2013
 
ADC DSL Systems, Inc. (2)
* 6701494 Method of using testbench tests to avoid task collisions in hardware description language 29 2002
* 2003/0208,729 Method of using testbench tests to avoid task collisions in hardware description language 3 2002
 
ACETON TECHNOLOGY CORPORATION (2)
* 7224941 System and method for multi-path simulation 6 2003
* 2005/0085,223 System and method for multi-path simulation 19 2003
 
KABUSHIKI KAISHA TOSHIBA (1)
* 2007/0074,141 Simulation apparatus and simulation method 5 2006
 
SYNOPSYS, INC. (1)
* 9286424 Efficient waveform generation for emulation 1 2015
 
CARBON DESIGN SYSTEMS, INC. (7)
* 2005/0055,675 Generation of software objects from a hardware description 10 2003
* 2004/0122,644 Optimized execution of software objects generated from a hardware description 6 2003
* 2004/0117,168 Global analysis of software objects generated from a hardware description 6 2003
* 2004/0117,167 Simulation of software objects generated from a hardware description 9 2003
* 2005/0228,627 System-level simulation of devices having diverse timing 7 2004
* 2005/0228,628 System-level simulation of interconnected devices 8 2004
* 2005/0229,170 Optimized system-level simulation 9 2004
 
CARBON DESIGN SYSTEMS (1)
* 2004/0093,198 Hardware simulation with access restrictions 5 2003
 
AVAGO TECHNOLOGIES GENERAL IP (SINGAPORE) PTE. LTD. (3)
* 7020716 Method and system for verifying the hardware implementation of TCP/IP 4 2001
* 2003/0046,418 Method and system for verifying the hardware implementation of TCP/IP 11 2001
* 6792584 System and method for designing an integrated circuit 52 2001
 
INTERNATIONAL BUSINESS MACHINES CORPORATION (3)
* 7191111 Method, apparatus, and computer program product for implementing dynamic cosimulation 5 2003
* 2005/0060,133 Method, apparatus, and computer program product for implementing dynamic cosimulation 1 2003
* 7480611 Method and apparatus to increase the usable memory capacity of a logic simulation hardware emulator/accelerator 14 2004
 
HEWLETT-PACKARD DEVELOPMENT COMPANY, L.P. (1)
* 2006/0041,416 Circuit design simulation 2 2004
 
SYNOPSYS TAIWAN CO., LTD. (1)
* 2003/0154,063 Active path extraction for HDL code 3 2002
 
NATIONAL INSTRUMENTS CORPORATION (4)
* 7865349 Simulation, measurement and/or control system and method with coordinated timing 1 2002
* 2002/0111,783 Simulation, measurement and/or control system and method with coordinated timing 13 2002
* 2006/0015,862 Reconfigurable measurement system utilizing a programmable hardware element and fixed hardware resources 66 2005
* 2013/0247,019 Specifying Memory Resource Implementations for Deployment of a Graphical Program to Programmable Hardware 1 2012
 
GLOBALFOUNDRIES INC. (4)
* 7536288 Method, system and program product supporting user tracing in a simulator 6 2003
* 2005/0149,309 Method, system and program product supporting user tracing in a simulator 6 2003
* 7373624 Method and system for performing target enlargement in the presence of constraints 1 2005
* 7552407 Method and system for performing target enlargement in the presence of constraints 2 2008
 
FUJITSU LIMITED (2)
* 7703064 Multilayered circuit board design support method, program, and apparatus for suppressing thermal diffusion from solid-layer conductor to through hole 4 2005
* 2007/0079,276 Multilayered circuit board design support method, program, and apparatus, and multilayered circuit board 3 2005
 
SUN MICROSYSTEMS, INC. (1)
* 2004/0064,300 Method and apparatus for starting simulation of a computer system from a process checkpoint within a simulator 3 2002
 
QUALCOMM TECHNOLOGIES, INC. (1)
* 2004/0225,490 Device for emulating one or more integrated-circuit chips 5 2003
 
MENTOR GRAPHICS (HOLDING) LTD. (1)
* 6336087 Method and apparatus for gate-level simulation of synthesized register transfer level design with source-level debugging 54 1998
 
ARM LIMITED (3)
7627462 Hardware simulation using a test scenario manager 1 2001
* 2003/0101,040 Hardware simulation using a test scenario manager 6 2001
* 7099813 Simulating program instruction execution and hardware device operation 2 2002
 
TOSHIBA SOLUTIONS CORPORATION (1)
8150670 Simulator and simulation method 0 2008
 
INTEL CORPORATION (1)
* 6438737 Reconfigurable logic for a computer 101 2000
 
RPX CORPORATION (1)
7893724 Method and circuit for rapid alignment of signals 3 2007
 
TEXAS INSTRUMENTS INCORPORATED (2)
* 2002/0046,396 Object file server (OFS) 4 2001
* 7065669 System and method for providing a write strobe signal to a receiving element before both an address and data signal 1 2002
 
VERISITY DESIGNS, INC., A CALIFORNIA CORPORATION (1)
* 6810442 Memory mapping system and method 197 2001
 
STMICROELECTRONICS LIMITED (3)
* 7072817 Method of designing an initiator in an integrated circuit 6 1999
* 6460174 Methods and models for use in designing an integrated circuit 23 1999
7281071 Method for designing an initiator in an integrated circuit 5 2006
* Cited By Examiner