发明授权
- 专利标题: Verification environments utilizing hardware description languages
- 专利标题(中): 使用硬件描述语言的验证环境
-
申请号: US14919756申请日: 2015-10-22
-
公开(公告)号: US09589087B2公开(公告)日: 2017-03-07
- 发明人: Markus M. Helms
- 申请人: International Business Machines Corporation
- 申请人地址: US NY Armonk
- 专利权人: International Business Machines Corporation
- 当前专利权人: International Business Machines Corporation
- 当前专利权人地址: US NY Armonk
- 代理商 Bryan D. Wells; Christopher McLane
- 主分类号: G06F17/50
- IPC分类号: G06F17/50
摘要:
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.
公开/授权文献
信息查询