Patent №
US 7,565,636
Granted
2009-07-21
Filed 2008
Owner
—
Lab
—
AI components
1
hardware
Assignment
None on record
Dataset
AIPD
2023_r1 edition
Application
12060953
The present invention relates to a system for verifying the proper operation of a digital logic circuit and program product therefore. In order to add a useful alternative in the field of functional, exhaustive simulation and of symbolic simulation, it is proposed to perform the steps of:
AI hardwareG06F 30/33
AI classification
AI hardware0.99
Knowledge representation0.18
Machine learning0.03
Planning0.02
Vision0.01
Natural language0.00
Speech0.00
Evolutionary computation0.00