发明申请
- 专利标题： Method and system for formal unidirectional bus verification
- 专利标题（中）： 正式单向总线验证方法与系统
-
申请号： US11065601申请日： 2005-02-24
-
公开(公告)号： US20060190874A1公开(公告)日： 2006-08-24
- 发明人: Jason Baumgartner , Tilman Gloekler , Joachim Kneisel , Johannes Koesters
- 申请人： Jason Baumgartner , Tilman Gloekler , Joachim Kneisel , Johannes Koesters
- 申请人地址： US NY Armonk
- 专利权人： International Business Machines Corporation
- 当前专利权人： International Business Machines Corporation
- 当前专利权人地址： US NY Armonk
- 主分类号： G06F17/50
- IPC分类号： G06F17/50
摘要：
A method, system and computer program product for performing verification is disclosed. A high-level description of a design is created and constrained drivers are synthesized from the high-level description of the design. A testbench is generated from the high-level description of the design and the constrained drivers and a formal equivalence is evaluated on the testbench to perform verification.
公开/授权文献
信息查询
