Invention Grant
- Patent Title: Verification environments utilizing hardware description languages
- Patent Title (中): 使用硬件描述语言的验证环境
-
Application No.: US14919756Application Date: 2015-10-22
-
Publication No.: US09589087B2Publication Date: 2017-03-07
- Inventor: Markus M. Helms
- Applicant: International Business Machines Corporation
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agent Bryan D. Wells; Christopher McLane
- Main IPC: G06F17/50
- IPC: G06F17/50

Abstract:
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.
Public/Granted literature
- US20160171148A1 VERIFICATION ENVIRONMENTS UTILZING HARDWARE DESCRIPTION LANGUAGES Public/Granted day:2016-06-16
Information query