下载断言验证方法、断言验证平台、电子设备及可读存储介质的技术资料

文档序号:38677629

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明实施例提供一种断言验证方法、断言验证平台、电子设备及可读存储介质,涉及计算机技术领域。其中的断言验证方法应用于断言验证平台,所述断言验证平台包括可编程逻辑芯片,所述可编程逻辑芯片中配置有被测设计、覆盖率监视器和硬件化断言测试集;所述方...
该专利属于北京开源芯片研究院所有,仅供学习研究参考,未经过北京开源芯片研究院授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。