AUTOMATIC IDENTIFICATION OF INFORMATION USEFUL FOR GENERATION-BASED FUNCTIONAL VERIFICATION

Patent №

US 8,683,282

Granted

2014-03-25

Filed 2011

Owner

INTERNATIONAL BUSINESS MACHINES CORPORATION

AI components

4

nlp · kr · planning · hardware

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

13037420

A computer-implemented method, an apparatus and a computer program for automatically extracting useful information for functional verification. The method comprising performing repeatedly both operating an instruction generator associated with a Design Under Test (DUT), whereby a generated instruction is determined, the generated instruction having one or more instruction attributes; and collecting information relating to the generated instruction. Based on the generated instruction and the collected information, a classification technique is utilized to classify the information based on the instruction attributes.

AI classification

Natural language0.97
Planning0.94
Knowledge representation0.86
AI hardware0.83
Machine learning0.31
Vision0.10
Evolutionary computation0.02
Speech0.00

Ownership

INTERNATIONAL BUSINESS MACHINES CORPORATION

assignment · 258760593

Assignors

KATZ, YOAV AVRAHAM, RIMON, MICHAL, YOM-TOV, ELAD, ZIV, AVI

On an employer assignment, the assignors are typically the inventors.

From the same owner

© 2026 NYSGPT2525 LLC