METHOD AND SYSTEM OF DESIGN VERIFICATION

Patent №

US 7,711,534

Granted

2010-05-04

Filed 2005

Owner

INTERNATIONAL BUSINESS MACHINES CORPORATION

AI components

1

kr

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

11275093

A method and system comprises extracting resources required to run a discrete test case or set of associated test cases on a design. The method and system further includes building a simulation model based on the extracted resources and executing the simulation model using only the extracted resources, exclusive of an entire design, to test a specific function or group of interrelated functions represented by the discrete test case or set of associated test cases for design verification, and correlating the simulation results with the test plan.

AI classification

Knowledge representation0.70
Planning0.38
Machine learning0.10
AI hardware0.03
Natural language0.00
Vision0.00
Speech0.00
Evolutionary computation0.00

Ownership

INTERNATIONAL BUSINESS MACHINES CORPORATION

assignment · 168930671

Assignors

DEVINS, ROBERT J., MILTON, DAVID W., NSAME, PASCAL A.

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

From the same owner

© 2026 NYSGPT2525 LLC