发明授权
- 专利标题： Transaction co-validation across abstraction layers
- 专利标题（中）： 抽象层之间的事务共同验证
-
申请号： US11653648申请日： 2007-01-12
-
公开(公告)号： US08868397B2公开(公告)日： 2014-10-21
- 发明人: Herve Jacques Alexanian , Chien Chun Chou
- 申请人： Herve Jacques Alexanian , Chien Chun Chou
- 申请人地址： US CA Milpitas
- 专利权人： Sonics, Inc.
- 当前专利权人： Sonics, Inc.
- 当前专利权人地址： US CA Milpitas
- 代理机构： Rutan & Tucker, LLP
- 主分类号： G06F17/50
- IPC分类号： G06F17/50
摘要：
A method, apparatus, and system in which a modeling tool made up of a testbench executable program validates behavior of one or more sub-components of an electronic system design modeled as one or more executable behavioral models and a transactor translates a behavior of the sub-components between one or more different levels of abstraction derived from a same design.
公开/授权文献
- US20080120085A1 Transaction co-validation across abstraction layers 公开/授权日：2008-05-22
信息查询
