Logic simulation

Industry

CPC
G06F17/5022

This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F17/00Digital computing or data processing equipment or methods, specially adapted for specific functions

Current Industry

G06F17/5022Logic simulation

Industries

Patents Grantslast 30 patents

Information Patent Grant
Defense techniques for split manufacturing
- Patent number 10,867,937
- Issue date Dec 15, 2020
- Board of Regents, The University of Texas System
- Jeyavijayan Rajendran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for profiling performance of a system on chip
- Patent number 10,698,805
- Issue date Jun 30, 2020
- Cadence Design Systems, Inc.
- Meir Ovadia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Address generators for verifying integrated circuit hardware design...
- Patent number 10,671,699
- Issue date Jun 2, 2020
- Imagination Technologies Limited
- Anthony Wood
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inter-cell bridge defect diagnosis
- Patent number 10,657,207
- Issue date May 19, 2020
- Mentor Graphics Corporation
- Huaxing Tang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Boolean satisfiability (SAT) solver
- Patent number 10,650,109
- Issue date May 12, 2020
- Synopsys, Inc.
- William Clark Naylor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying computer program security access control violations usi...
- Patent number 10,650,149
- Issue date May 12, 2020
- International Business Machines Corporation
- Matthias Daniel Dietsch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simulation employing level-dependent multitype events
- Patent number 10,635,766
- Issue date Apr 28, 2020
- International Business Machines Corporation
- Guy L. Guthrie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for displaying multipl...
- Patent number 10,635,768
- Issue date Apr 28, 2020
- Cadence Design Systems, Inc.
- Thiago Radicchi Roque
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing integrated circuit designs based on interactions between...
- Patent number 10,628,544
- Issue date Apr 21, 2020
- International Business Machines Corporation
- Dureseti Chidambarrao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Initial-state and next-state value folding
- Patent number 10,621,297
- Issue date Apr 14, 2020
- International Business Machines Coporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating SAIF efficiently from hardware platforms
- Patent number 10,621,296
- Issue date Apr 14, 2020
- Synopsys, Inc.
- Boris Gommershtadt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Electronic design tools using non-synthesizable circuit elements
- Patent number 10,614,181
- Issue date Apr 7, 2020
- Mellanox Technologies, Ltd.
- Moshe Noah
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing clock power consumption of a computer processor
- Patent number 10,614,183
- Issue date Apr 7, 2020
- International Business Machines Corporation
- Erez Barak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying computer program security access control violations usi...
- Patent number 10,614,224
- Issue date Apr 7, 2020
- International Business Machines Corporation
- Matthias Daniel Dietsch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Graphical view and debug for coverage-point negative hint
- Patent number 10,606,977
- Issue date Mar 31, 2020
- Synopsys, Inc.
- Alexander John Wakefield
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mapping physical shift failures to scan cells for detecting physica...
- Patent number 10,605,863
- Issue date Mar 31, 2020
- Synopsys, Inc.
- Subhadip Kundu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing netlists based on singular independent signals
- Patent number 10,606,971
- Issue date Mar 31, 2020
- International Business Machines Corporation
- Erez Barak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit design analyzer
- Patent number 10,599,792
- Issue date Mar 24, 2020
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for passive verification
- Patent number 10,599,793
- Issue date Mar 24, 2020
- Zipalog, Inc.
- Felicia James
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identification of unknown sources for logic built-in self test in v...
- Patent number 10,598,727
- Issue date Mar 24, 2020
- International Business Machines Corporation
- Satya R. S. Bhamidipati
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semiconductor circuit design device
- Patent number 10,599,801
- Issue date Mar 24, 2020
- Renesas Electronics Corporation
- Takashi Kawano
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer system performance analyzer
- Patent number 10,599,432
- Issue date Mar 24, 2020
- International Business Machines Corporation
- Ramon Bertran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Superconducting quantum circuits layout design verification
- Patent number 10,599,805
- Issue date Mar 24, 2020
- International Business Machines Corporation
- Dongbing Shao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing method and testing system
- Patent number 10,598,730
- Issue date Mar 24, 2020
- Realtek Semiconductor Corporation
- Chihtung Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Stochastic network traffic modeling
- Patent number 10,592,585
- Issue date Mar 17, 2020
- Facebook, Inc.
- Josue Israel Kuri Obregon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing integrated circuit designs based on interactions between...
- Patent number 10,592,627
- Issue date Mar 17, 2020
- International Business Machines Corporation
- Dureseti Chidambarrao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient mechanism of fault qualification using formal verification
- Patent number 10,592,624
- Issue date Mar 17, 2020
- Synopsis, Inc.
- Sandeep Jana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for verification using combined verification data
- Patent number 10,586,014
- Issue date Mar 10, 2020
- Cadence Design Systems, Inc.
- Yael Kinderman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for aggregating implicit and explicit event cod...
- Patent number 10,585,648
- Issue date Mar 10, 2020
- The MathWorks, Inc.
- Peter S. Szpak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing clock power consumption of a computer processor
- Patent number 10,585,995
- Issue date Mar 10, 2020
- International Business Machines Corporation
- Erez Barak
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
CAPTURING THE GLOBAL STRUCTURE OF LOGICAL FORMULAE WITH GRAPH LONG...
- Publication number 20210150373
- Publication date May 20, 2021
- International Business Machines Corporation
- Maxwell Crouse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD OF DEBUGGING HARDWARE AND FIRMWARE OF DATA STORAGE
- Publication number 20210124810
- Publication date Apr 29, 2021
- SK HYNIX INC.
- Andrey Kuyel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METAL FILL SHAPE REMOVAL FROM SELECTED NETS
- Publication number 20210073348
- Publication date Mar 11, 2021
- International Business Machines Corporation
- Jesse SURPRISE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TECHNIQUES FOR PRE-SILICON TESTING INTEGRATED CIRCUIT DESIGNS THAT...
- Publication number 20210019377
- Publication date Jan 21, 2021
- NVIDIA Corporation
- Tezaswi RAJA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FUSE-BASED LOGIC REPAIR
- Publication number 20200394274
- Publication date Dec 17, 2020
- QUALCOMM Incorporated
- Samit SENGUPTA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING AND ADDING ADDITIONAL CONTROL INFORMATION TO LOGIC UNDER...
- Publication number 20200364313
- Publication date Nov 19, 2020
- International Business Machines Corporation
- Paul Umbarger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS WITH SYSTEM VERIFICATION BASED ON REINFORCEMEN...
- Publication number 20200364314
- Publication date Nov 19, 2020
- Samsung Electronics Co., Ltd.
- Jun Haeng LEE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUIT LAYOUT SIMILARITY METRIC FOR SEMICONDUCTOR TESTSITE COVERAGE
- Publication number 20200364316
- Publication date Nov 19, 2020
- International Business Machines Corporation
- Rasit Onur Topaloglu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD OF USING SIMULATION SOFTWARE TO GENERATE CIRCUIT LAYOUT
- Publication number 20200334339
- Publication date Oct 22, 2020
- Realtek Semiconductor Corp.
- Chien-Cheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LAYOUT OF A MEMORY CELL OF AN INTEGRATED CIRCUIT
- Publication number 20200320174
- Publication date Oct 8, 2020
- International Business Machines Corporation
- Rolf Sautter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR COMPACT NEURAL NETWORK MODELING OF TRANSISTORS
- Publication number 20200320366
- Publication date Oct 8, 2020
- Samsung Electronics Co., Ltd.
- Jing Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRACE-BASED GENERATION OF STATES WITHIN A SYSTEM
- Publication number 20200285712
- Publication date Sep 10, 2020
- International Business Machines Corporation
- Flavio M. De Paula
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD OF MANAGING PSEUDO-RANDOM NUMER GENERATION IN A M...
- Publication number 20200278838
- Publication date Sep 3, 2020
- Simudyne Ltd.
- John Hill
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BOUNDARY LOGIC INTERFACE
- Publication number 20200274536
- Publication date Aug 27, 2020
- Xilinx, Inc.
- Rafael C. Camarota
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC COVER POINT GENERATION BASED ON REGISTER TRANSFER LEVEL A...
- Publication number 20200265123
- Publication date Aug 20, 2020
- International Business Machines Corporation
- Kousik Dan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FILL PROCESS OPTIMIZATION USING FEATURE SCALE MODELING
- Publication number 20200242209
- Publication date Jul 30, 2020
- LAM RESEARCH CORPORATION
- Michael Bowes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PREDICTING POWER USAGE OF A CHIP
- Publication number 20200218958
- Publication date Jul 9, 2020
- International Business Machines Corporation
- ZHICHAO LI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AVOIDING DATA EXCHANGE IN GATE OPERATION FOR QUANTUM COMPUTING GATE...
- Publication number 20200218787
- Publication date Jul 9, 2020
- International Business Machines Corporation
- Jun Doi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFORMATION PROCESSING APPARATUS AND PULL-UP AND PULL-DOWN RESISTOR...
- Publication number 20200192992
- Publication date Jun 18, 2020
- FUJITSU LIMITED
- Yuji BABA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCHEDULING FUSION FOR QUANTUM COMPUTING SIMULATION
- Publication number 20200184031
- Publication date Jun 11, 2020
- International Business Machines Corporation
- Hiroshi Horii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAILURE ESTIMATION IN CIRCUITS
- Publication number 20200174863
- Publication date Jun 4, 2020
- ARM Limited
- Reiley JEYAPAUL
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HARDWARE INCREMENTAL MODEL CHECKING VERIFICATION
- Publication number 20200175128
- Publication date Jun 4, 2020
- International Business Machines Corporation
- YAN HENG LU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIMULATION SYSTEM AND METHOD
- Publication number 20200134116
- Publication date Apr 30, 2020
- Industrial Technology Research Institute
- Yeong-Jar CHANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PRECISE VERIFICATION OF A LOGIC PROBLEM ON A SIMULATION ACCELERATOR
- Publication number 20200117766
- Publication date Apr 16, 2020
- International Business Machines Corporation
- JOHN A. SCHUMANN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CENTRALIZED CONTROL IN A DISTRIBUTED STIMULUS-BASED TEST-BENCH ENVI...
- Publication number 20200110681
- Publication date Apr 9, 2020
- International Business Machines Corporation
- Akash Giri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEVELOPMENT AND ANALYSIS OF QUANTUM COMPUTING PROGRAMS
- Publication number 20200104739
- Publication date Apr 2, 2020
- International Business Machines Corporation
- Sanjana Arun Sharma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INITIAL-STATE AND NEXT-STATE VALUE FOLDING
- Publication number 20200104434
- Publication date Apr 2, 2020
- International Business Machines Corporation
- Jason R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINATION OF PER LINE BUFFER UNIT MEMORY ALLOCATION
- Publication number 20200098083
- Publication date Mar 26, 2020
- Google LLC
- Hyunchul Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS FOR ENGINEERING INTEGRATED CIRCUIT DESIGN AND DEVELOPMENT
- Publication number 20200089833
- Publication date Mar 19, 2020
- efabless corporation
- Bertrand Irissou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR INTERACTIVE DATASHEETS
- Publication number 20200089834
- Publication date Mar 19, 2020
- TEXAS INSTRUMENTS INCORPORATED
- Christopher William Sarli
- G06 - COMPUTING CALCULATING COUNTING

Logic simulation

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Defense techniques for split manufacturing

Method and system for profiling performance of a system on chip

Address generators for verifying integrated circuit hardware design...

Inter-cell bridge defect diagnosis

Boolean satisfiability (SAT) solver

Identifying computer program security access control violations usi...

Simulation employing level-dependent multitype events

System, method, and computer program product for displaying multipl...

Optimizing integrated circuit designs based on interactions between...

Initial-state and next-state value folding

Generating SAIF efficiently from hardware platforms

Electronic design tools using non-synthesizable circuit elements

Reducing clock power consumption of a computer processor

Identifying computer program security access control violations usi...

Graphical view and debug for coverage-point negative hint

Mapping physical shift failures to scan cells for detecting physica...

Testing netlists based on singular independent signals

Circuit design analyzer

System and method for passive verification

Identification of unknown sources for logic built-in self test in v...

Semiconductor circuit design device

Computer system performance analyzer

Superconducting quantum circuits layout design verification

Testing method and testing system

Stochastic network traffic modeling

Optimizing integrated circuit designs based on interactions between...

Efficient mechanism of fault qualification using formal verification

Method and system for verification using combined verification data

Systems and methods for aggregating implicit and explicit event cod...

Reducing clock power consumption of a computer processor

Patents Applicationslast 30 patents

CAPTURING THE GLOBAL STRUCTURE OF LOGICAL FORMULAE WITH GRAPH LONG...

METHOD OF DEBUGGING HARDWARE AND FIRMWARE OF DATA STORAGE

METAL FILL SHAPE REMOVAL FROM SELECTED NETS

TECHNIQUES FOR PRE-SILICON TESTING INTEGRATED CIRCUIT DESIGNS THAT...

FUSE-BASED LOGIC REPAIR

GENERATING AND ADDING ADDITIONAL CONTROL INFORMATION TO LOGIC UNDER...

METHOD AND APPARATUS WITH SYSTEM VERIFICATION BASED ON REINFORCEMEN...

CIRCUIT LAYOUT SIMILARITY METRIC FOR SEMICONDUCTOR TESTSITE COVERAGE

METHOD OF USING SIMULATION SOFTWARE TO GENERATE CIRCUIT LAYOUT

LAYOUT OF A MEMORY CELL OF AN INTEGRATED CIRCUIT

SYSTEM AND METHOD FOR COMPACT NEURAL NETWORK MODELING OF TRANSISTORS

TRACE-BASED GENERATION OF STATES WITHIN A SYSTEM

SYSTEM AND METHOD OF MANAGING PSEUDO-RANDOM NUMER GENERATION IN A M...

BOUNDARY LOGIC INTERFACE

AUTOMATIC COVER POINT GENERATION BASED ON REGISTER TRANSFER LEVEL A...

FILL PROCESS OPTIMIZATION USING FEATURE SCALE MODELING

PREDICTING POWER USAGE OF A CHIP

AVOIDING DATA EXCHANGE IN GATE OPERATION FOR QUANTUM COMPUTING GATE...

INFORMATION PROCESSING APPARATUS AND PULL-UP AND PULL-DOWN RESISTOR...

SCHEDULING FUSION FOR QUANTUM COMPUTING SIMULATION

FAILURE ESTIMATION IN CIRCUITS

HARDWARE INCREMENTAL MODEL CHECKING VERIFICATION

SIMULATION SYSTEM AND METHOD

PRECISE VERIFICATION OF A LOGIC PROBLEM ON A SIMULATION ACCELERATOR

CENTRALIZED CONTROL IN A DISTRIBUTED STIMULUS-BASED TEST-BENCH ENVI...

DEVELOPMENT AND ANALYSIS OF QUANTUM COMPUTING PROGRAMS

INITIAL-STATE AND NEXT-STATE VALUE FOLDING

DETERMINATION OF PER LINE BUFFER UNIT MEMORY ALLOCATION

METHODS FOR ENGINEERING INTEGRATED CIRCUIT DESIGN AND DEVELOPMENT

SYSTEM AND METHOD FOR INTERACTIVE DATASHEETS