专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20150067622A1 DEVELOPMENT AND DEBUG ENVIRONMENT IN A CONSTRAINED RANDOM VERIFICATION 有权
标题翻译：在受限制的随机验证中开发和调试环境
公开(公告)号：US20150067622A1
公开(公告)日：2015-03-05
申请号：US14472058
申请日：2014-08-28
申请人： Synopsys, Inc.
发明人： Dhiraj Goswami , Aijun Hu , Na Xing , Jason Chung-Shih Chen , Ngai Ngai William Hung
IPC分类号： G06F17/50
CPC分类号： G06F17/5081 , G06F17/5009
摘要： A design verification workstation contains both debug and constraint solver capabilities during simulation of a design under test. The design verification workstation is configured to allow the user to debug constraints, stop the constraint solver, navigate problems and variables, and make modifications on-the fly during the simulation to constraint information. Additionally, in some embodiments, the design verification workstation may allow a user to use a constraint solver to experiment if the modifications will lead to desired test stimulus. Since this debug process happens during simulation, users do not need to recompile the test case. Additionally, once a user is satisfied with the modifications made to the simulation, the modification could be saved for future usage.
摘要翻译：设计验证工作站在模拟被测设计期间包含调试和约束求解器功能。设计验证工作站被配置为允许用户调试约束，停止约束求解器，导航问题和变量，并在仿真期间对约束信息进行修改。另外，在一些实施例中，设计验证工作站可以允许用户使用约束求解器来实验，如果修改将导致期望的测试刺激。由于调试过程在模拟过程中发生，用户无需重新编译测试用例。另外，一旦用户对对模拟进行的修改满意，则可以节省修改以供将来使用。

2. 发明授权

US09202005B2 Development and debug environment in a constrained random verification 有权
标题翻译：开发和调试环境在受限的随机验证中
公开(公告)号：US09202005B2
公开(公告)日：2015-12-01
申请号：US14472058
申请日：2014-08-28
申请人： Synopsys, Inc.
发明人： Dhiraj Goswami , Aijun Hu , Na Xing , Jason Chung-Shih Chen , Ngai Ngai William Hung
IPC分类号： G06F17/50
CPC分类号： G06F17/5081 , G06F17/5009
摘要： A design verification workstation contains both debug and constraint solver capabilities during simulation of a design under test. The design verification workstation is configured to allow the user to debug constraints, stop the constraint solver, navigate problems and variables, and make modifications on-the fly during the simulation to constraint information. Additionally, in some embodiments, the design verification workstation may allow a user to use a constraint solver to experiment if the modifications will lead to desired test stimulus. Since this debug process happens during simulation, users do not need to recompile the test case. Additionally, once a user is satisfied with the modifications made to the simulation, the modification could be saved for future usage.
摘要翻译：设计验证工作站在模拟被测设计期间包含调试和约束求解器功能。设计验证工作站被配置为允许用户调试约束，停止约束求解器，导航问题和变量，并在仿真期间对约束信息进行修改。另外，在一些实施例中，设计验证工作站可以允许用户使用约束求解器来实验，如果修改将导致期望的测试刺激。由于调试过程在模拟过程中发生，用户无需重新编译测试用例。另外，一旦用户对对模拟进行的修改满意，则可以节省修改以供将来使用。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式