等价性检查相关论文
随着信息技术的深入发展,研发自主可控的高性能微处理器具有非常重要的意义。FT-MX处理器是国防科技大学微电子所自主研发的一款高......
随着Web应用技术的快速发展及浏览器和平台数量的不断增长,跨浏览器的不兼容性问题显得越来越突出。尽管现有的浏览器不兼容性测试......
功能测试旨在保证软硬件正确性,降低生产成本。已有的功能测试均为黑盒测试,无法最大化地发现功能正确性问题。而半形式化方法可为最......
随着芯片设计规模的急剧增大,如何在短时间内有效验证整个芯片的功能已经逐渐成为产品快速上市的瓶颈。相关数据表明,验证工作已经占......
随着集成电路设计领域的发展,芯片集成度越来越高,功能越来越强大,验证的地位也越来越高。其中形式验证中的等价性检查贯穿于整个......