Patent №
US 8,453,084
Granted
2013-05-28
Filed 2008
Owner
SYNOPSYS, INC.
Lab
—
AI components
1
hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
12204777
Methods and apparatuses for approximate functional matching are described including identifying functionally similar subsets of an integrated circuit design or software program, distinguishing control inputs of the subsets from data inputs, and assigning combinations of logic values to the input control signals to capture co-factors for functional matching.
AI classification
AI hardware0.95
Machine learning0.08
Natural language0.02
Knowledge representation0.01
Vision0.00
Evolutionary computation0.00
Speech0.00
Planning0.00
Ownership
SYNOPSYS, INC.
assignment · 219890197
Assignors
MARKOV, IGOR L., MCELVAIN, KENNETH S.
On an employer assignment, the assignors are typically the inventors.
From the same owner
DECONVOLUTION BY CONVOLUTIONSUS 12,619,862 · 2026EFFICIENT LOOK-UP TABLE BASED FUNCTIONS FOR ARTIFICIAL INTELLIGENCE (AI) ACCELERATORUS 12,619,864 · 2026LOGIC VERIFICATION OF SUPERCONDUCTING ELECTRONIC CIRCUITS, INCLUDING FOR MARGIN ANALYSIS OF YIELDUS 12,608,524 · 2026Machine-Learning Model for Circuit Design Requirements VerificationUS 12,596,858 · 2026MACHINE LEARNING TECHNIQUE TO DIAGNOSE SOFTWARE CRASHESUS 12,585,528 · 2026MEMORY ADDRESS CACHING FOR NEURAL NETWORKSUS 12,511,237 · 2025ADIABATIC QUANTUM-FLUX-PARAMETRON PLACEMENTUS 12,493,732 · 2025MACHINE-LEARNING-BASED POWER/GROUND (P/G) VIA REMOVALUS 12,475,295 · 2025