Resources Contact Us Home
Browse by: INVENTOR PATENT HOLDER PATENT NUMBER DATE
 
 
Browse by Category: Main > Information Technology
Class Information
Number: 703/15
Name: Data processing: structural design, modeling, simulation, and emulation > Simulating electronic device or electrical system > Circuit simulation > Including logic
Description: Subject matter wherein the simulated circuit consists of logic circuit.










Sub-classes under this class:

Class Number Class Name Patents
703/16 Event-driven 593


Patents under this class:
1 2 3 4 5 6 7 8 9 10 11 12 13 14

Patent Number Title Of Patent Date Issued
8713492 Data processing apparatus including reconfigurable logic circuit Apr. 29, 2014
8707113 Method for modeling a device and generating test for that device Apr. 22, 2014
8682637 System, method and computer program product for comparing results of performing a plurality of operations with results of simulating the plurality of operations Mar. 25, 2014
8671372 Verification support computer product, apparatus, and method Mar. 11, 2014
8667436 Object identification in an electronic circuit design Mar. 4, 2014
8650020 Modeling second order effects for simulating transistor behavior Feb. 11, 2014
8645116 Hybrid simulation system and method Feb. 4, 2014
8638792 Packet switch based logic replication Jan. 28, 2014
8612198 Methods and systems for controlling a semiconductor fabrication process Dec. 17, 2013
8601414 Automated scalable verification for hardware designs at the register transfer level Dec. 3, 2013
8601423 Asymmetric mesh NoC topologies Dec. 3, 2013
8566497 Method and apparatus for enhancing universal serial bus application Oct. 22, 2013
8560295 Suspension of procedures in simulation of an HDL specification Oct. 15, 2013
8549372 ATPG and compression by using majority gates Oct. 1, 2013
8543954 Concurrent noise and delay modeling of circuit stages for static timing analysis of integrated circuit designs Sep. 24, 2013
8543963 Global leakage power optimization Sep. 24, 2013
8527257 Transition-based macro-models for analog simulation Sep. 3, 2013
8521499 Run-time switching for simulation with dynamic run-time accuracy adjustment Aug. 27, 2013
8498856 Simulation method, system and program Jul. 30, 2013
8489380 Satisfiability (SAT) based bounded model checkers Jul. 16, 2013
8478574 Tracking array data contents across three-valued read and write operations Jul. 2, 2013
8473272 Analysis of the operation of a reconfigurable system Jun. 25, 2013
8473270 Methods and systems for controlling a semiconductor fabrication process Jun. 25, 2013
8468005 Determining simulation fidelity in a self-optimized simulation of a complex system Jun. 18, 2013
8468007 Emulating a peripheral mass storage device with a portable device Jun. 18, 2013
8446224 Network of tightly coupled performance monitors for determining the maximum frequency of operation of a semiconductor IC May. 21, 2013
8447580 Modeling of a multiprocessor system May. 21, 2013
8434045 System and method of providing a memory hierarchy Apr. 30, 2013
8433552 Circuit simulation method Apr. 30, 2013
8423342 Simulation parameter extracting method of MOS transistor Apr. 16, 2013
8417504 Conversion of circuit description to a transaction model Apr. 9, 2013
8402403 Verifying a register-transfer level design of an execution unit Mar. 19, 2013
8402288 Apparatus and method for controlling voltage and frequency using multiple reference circuits Mar. 19, 2013
8401828 Methods and systems for analog object fetch in mixed-signal simulation Mar. 19, 2013
8386230 Circuit design optimization Feb. 26, 2013
8380477 System of testing engineered safety feature instruments Feb. 19, 2013
8380481 Conveying data from a hardware device to a circuit simulation Feb. 19, 2013
8380656 Technique for fast power estimation using probabilistic analysis of combinational logic Feb. 19, 2013
8370787 Testing security of mapping functions Feb. 5, 2013
8365111 Data driven logic simulation Jan. 29, 2013
8352055 Method for implementing production processes and system for executing the method Jan. 8, 2013
8352234 Model generation based on a constraint and an initial model Jan. 8, 2013
8346529 Delta retiming in logic simulation Jan. 1, 2013
8346528 Equivalent device statistical modeling for bitline leakage modeling Jan. 1, 2013
8346527 Simulating an operation of a digital circuit Jan. 1, 2013
8341568 Systems and methods for logic verification Dec. 25, 2012
8332201 Innovative verification methodology for deeply embedded computational element Dec. 11, 2012
8332204 Instruction check program, instruction check apparatus, and I/O simulator Dec. 11, 2012
8311794 Testing executable logic Nov. 13, 2012
8306802 Method for modeling an HDL design using symbolic simulation Nov. 6, 2012

1 2 3 4 5 6 7 8 9 10 11 12 13 14










 
 
  Recently Added Patents
Method and system for producing fluoride gas and fluorine-doped glass or ceramics
Carrying case
Method for conductivity control of (Al,In,Ga,B)N
Implantable defibrillator systems and methods with mitigations for saturation avoidance and accommodation
Imidazole derivatives used as TAFIa inhibitors
Apparatus and method for phase synchronization in radio frequency transmitters
(4935
  Randomly Featured Patents
Alarm clock
Wireless power distribution and control system
Device for protecting a lambda probe
Liquid crystal compositions
Method and apparatus for strengthening a porous substrate
Method for automatically detecting and characterizing spectral activity
Hand held electronic fishing game
Clamping circuit for a television transmission system
Ball valve and seat assembly
Process for removing sulfur particles from an aqueous catalyst solution and for removing hydrogen sulfide and recovering sulfur from a gas stream