Patent №
US 9,600,616
Granted
2017-03-21
Filed 2016
Owner
INTERNATIONAL BUSINESS MACHINES CORPORATION
Lab
AI components
2
ml · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
15264336
A computer-implemented method may include retrieving a design netlist with a processor, identifying, via the processor, a logic structure in the design netlist, generating, via the processor, a driver based on the logic structure, applying, via the processor, a simulation and a formal model based on the driver, and testing, via the processor, an output of the simulation and the formal model.
AI classification
Ownership
INTERNATIONAL BUSINESS MACHINES CORPORATION
assignment · 408250108
Assignors
ARBEL, ELI, BARAK, EREZ, HOPPE, BODO, KRAUTZ, UDO, MORAN, SHIRI
On an employer assignment, the assignors are typically the inventors.