Invention Grant
US07752006B2 Device, system and method of generating a hardware-verification test case
有权
生成硬件验证测试用例的设备，系统和方法
- Patent Title: Device, system and method of generating a hardware-verification test case
- Patent Title (中): 生成硬件验证测试用例的设备，系统和方法
-
Application No.: US11764817Application Date: 2007-06-19
-
Publication No.: US07752006B2Publication Date: 2010-07-06
- Inventor: Shady Copty , Alex Goryachev
- Applicant: Shady Copty , Alex Goryachev
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Main IPC: G06F11/00
- IPC: G06F11/00 ; G06F17/00
Abstract:
Some demonstrative embodiments of the invention may include, for example, devices, systems and methods of performing functional verification of a hardware design. In some demonstrative embodiments, a test generator may include a transaction generator to automatically generate a plurality of manipulated transactions by manipulating one or more test case transactions resulting from a constraint-satisfaction-problem.
Public/Granted literature
- US20080319729A1 Device, System and Method of Generating a Hardware-Verification Test Case Public/Granted day:2008-12-25
Information query
