Information Technology

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

Including Logic

No:6856950

Abstract verification environment

No:7302377

Accelerated event queue for logic simulation

No:5978476

Access restriction to circuit designs

No:6397169

Adaptive cell separation and circuit changes driven by maximum capacitance rules

No:5671148

Apparatus and method for checking logic circuit

No:6212492

Apparatus and method for circuit simulation which accounts for parasitic elements

No:7428484

Apparatus and method for modeling and analyzing network simulation for network simulation package

No:6625796

Apparatus and method for programming a set of programmable logic devices in parallel

No:6519555

Apparatus and method of allowing pci v1.0 devices to work in pci v2.0 compliant system

No:7409331

Apparatus for designing mixed signal integrated circuits and configurable synchronous digital noise emulator circuit

No:5051911

Apparatus for effecting simulation of a logic circuit and method for producing a semiconductor device using the simulation approach

No:5715170

Apparatus for forming input data for a logic simulator

No:7324856

Autogeneration of code via human-machine interfaces (hmi) and self-building hmi

No:6185516

Automata-theoretic verification of systems

No:6658633

Automated system-on-chip integrated circuit design verification system

No:5349539

Behavioral model parameter extractor

No:6961690

Behaviorial digital simulation using hybrid control and data flow representations

No:6985842

Bidirectional wire i/o model and method for device simulation

No:7433812

Block diagram modeling

No:6941256

Bus structure, database and method of designing interface

No:7478029

Cable simulation device and method

No:6028989

Calculating crosstalk voltage from ic craftsman routing data

No:6691077

Capture and conversion of mixed-signal test stimuli

No:6985843

Cell modeling in the design of an integrated circuit

No:7027971

Centralized disablement of instrumentation events within a batch simulation farm network

No:6233723

Circuit behavioral information analysis apparatus and a method of analyzing behavioral information of a circuit

No:6106567

Circuit design verification tool and method therefor using maxwell's equations

No:7107190

Circuit designing apparatus, circuit designing method, and computer readable recording medium storing a circuit designing program

No:6253352

Circuit for validating simulation models

No:7062424

Circuit modeling using topologically equivalent models

No:6985840

Circuit property verification system

No:7283944

Circuit simulation bus transaction analysis

No:6056784

Circuit synthesis verification method and apparatus

No:6665844

Circuit synthesis verification method and apparatus

No:6968305

Circuit-level memory and combinational block modeling

No:5939894

Cmos integrated circuit testing method and apparatus using quiescent power supply currents database

No:7356456

Computer storage exception handing apparatus and method for virtual hardware system

No:5513339

Concurrent fault simulation of circuits with both logic elements and functional circuits

No:6338025

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

No:7010475

Derating factor determination for integrated circuit logic design tools

No:7006960

Design apparatus and a method for generating an implementable description of a digital system

No:6606588

Design apparatus and a method for generating an implementable description of a digital system

No:6233540

Design environment and a method for generating an implementable description of a digital system

No:5870585

Design for a simulation module using an object-oriented programming language

No:5493507

Digital circuit design assist system for designing hardware units and software units in a desired digital circuit, and method thereof

No:6553514

Digital circuit verification

No:6083269

Digital integrated circuit design system and methodology with hardware

No:7346483

Dynamic fifo for simulation

No:7379861

Dynamic programming of trigger conditions in hardware emulation systems

No:7366648

Electronic circuit analyzing apparatus, electronic circuit analyzing method, and electronic circuit analyzing program