发明名称 VERIFICATION ENVIRONMENTS UTILZING HARDWARE DESCRIPTION LANGUAGES
摘要 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.
申请公布号 US2016171141(A1) 申请公布日期 2016.06.16
申请号 US201414571454 申请日期 2014.12.16
申请人 International Business Machines Corporation 发明人 Helms Markus M.
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址 Armonk NY US