发明申请
US20050091618A1 Method and apparatus for decomposing and verifying configurable hardware
审中-公开
用于分解和验证可配置硬件的方法和装置
- 专利标题： Method and apparatus for decomposing and verifying configurable hardware
- 专利标题（中）： 用于分解和验证可配置硬件的方法和装置
-
申请号： US10976456申请日： 2004-10-29
-
公开(公告)号： US20050091618A1公开(公告)日： 2005-04-28
- 发明人: Jeffrey Ebert , Ravi Venugopalan , Scott Evans
- 申请人： Jeffrey Ebert , Ravi Venugopalan , Scott Evans
- 主分类号： G01R31/3183
- IPC分类号： G01R31/3183 ; G06F9/44 ; G06F11/26 ; G06F11/30 ; G06F15/00 ; G06F17/50 ; G21C17/00
摘要：
The present invention includes a method and apparatus for decomposing and verifying configurable hardware. In one embodiment, the method includes automatically decomposing a hardware system into a set of one or more units, creating a testbench for each of the set of units, and verifying each of the set of units before verifying the hardware system design.
信息查询
IPC分类:
