VERIFICATION ENVIRONMENTS UTILZING HARDWARE DESCRIPTION LANGUAGES

Patent №

US 9,703,909

Granted

2017-07-11

Filed 2014

Owner

INTERNATIONAL BUSINESS MACHINES CORPORATION

AI components

1

hardware

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

14571454

The method includes identifying a register-transfer level design description for a design. The method further includes identifying one or more tests to perform on the register-transfer level design description. The method includes generating a table of commands from the one or more tests to perform on the register-transfer level design description. The method includes generating a register-transfer level design description from the table of commands for at least one of a set of components including: a test driver for the design, a monitor for the design, and a checker for the design, wherein the register-transfer level design description assigns commands in the generated table of commands to be performed by a corresponding component in the set of components. The method includes simulating the identified one or more tests utilizing the generated register-transfer level design descriptions for at least one of the test driver, the checker, and the monitor.

AI hardwareG06F 30/3308G06F 30/20G06F 30/30G06F 30/33G06F 30/398

AI classification

AI hardware0.88
Planning0.27
Speech0.01
Natural language0.00
Vision0.00
Evolutionary computation0.00
Machine learning0.00
Knowledge representation0.00

Ownership

INTERNATIONAL BUSINESS MACHINES CORPORATION

assignment · 345130608

Assignors

HELMS, MARKUS M.

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

From the same owner

© 2026 NYSGPT2525 LLC