发明授权
US08201118B2 Method and system for dynamic automated hint generation for enhanced reachability analysis
有权
用于增强可达性分析的动态自动提示生成方法和系统
- 专利标题： Method and system for dynamic automated hint generation for enhanced reachability analysis
- 专利标题（中）： 用于增强可达性分析的动态自动提示生成方法和系统
-
申请号： US12475494申请日： 2009-05-30
-
公开(公告)号： US08201118B2公开(公告)日： 2012-06-12
- 发明人: Jason R. Baumgartner , Paul J. Roessler , Mark A. Williams , Jiazhao Xu
- 申请人： Jason R. Baumgartner , Paul J. Roessler , Mark A. Williams , Jiazhao Xu
- 申请人地址： US NY Armonk
- 专利权人： International Business Machines Corporation
- 当前专利权人： International Business Machines Corporation
- 当前专利权人地址： US NY Armonk
- 代理机构： Brevetto Law Group
- 主分类号： G06F17/50
- IPC分类号： G06F17/50
摘要：
Methods and systems are provided for dynamically generating a hint set for enhanced reachability analysis in a sequential circuitry design that is represented by a Binary Decision Diagram (BDD). After determining a ranking of the BDD variables, they are sorted in the order of the ranking. The ranking is used to select some of the variables for use in creating hints for more efficiently performing the reachability analysis in a creating an equivalent sequential circuitry design.
公开/授权文献
信息查询
