在2010年6月举行的设计自动化大会（DAC）上，我们的验证工具（BugScope Assertion Synthesis）被评为最受关注的电子设计自动化工具。
基于12个网页-相关网页
bugscope assertion synthesis
bug作用域断言合成
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动