发明公开
EP2382570A4 PERFORMING LOGIC OPTIMIZATION AND STATE-SPACE REDUCTION FOR HYBRID VERIFICATION
审中-公开
逻辑优化与状态空间减少用于混合验证
- 专利标题： PERFORMING LOGIC OPTIMIZATION AND STATE-SPACE REDUCTION FOR HYBRID VERIFICATION
- 专利标题（中）： 逻辑优化与状态空间减少用于混合验证
-
申请号： EP10736234申请日： 2010-01-19
-
公开(公告)号： EP2382570A4公开(公告)日： 2013-11-27
- 发明人: DSOUZA ASHVIN M
- 申请人： SYNOPSYS INC
- 专利权人： SYNOPSYS INC
- 当前专利权人： SYNOPSYS INC
- 优先权： US36128209 2009-01-28
- 主分类号： G06F19/00
- IPC分类号： G06F19/00 ; G01R31/28 ; G06F17/50
信息查询
