您现在的位置是:首页 > 互联网 >

Axiomise宣布发布下一代RISCVApp

2020-10-21 21:47:08

Axiomise®宣布其新的RISC-V正式验证的应用程序的可用性formalISA®。该应用程序支持所有领先的商业形式验证工具,并包括用于RISC-V处理器形式验证的新覆盖解决方案。

通过使用一个简单的按钮,图形界面的解决方案,应用formalISA®允许设计师,验证工程师或建筑师收获的正式验证对已发布的ISA规范RISC-V实现的合规性的好处,而写作模拟或正式的任何测试。通过使用“证明”按钮,利用Axiomise抽象模型,用户可以获得针对实现的RISC-V ISA架构检查的端到端验证。

形式化工具之间以及形式化工具与模拟之间的可互操作性是形式验证的主要挑战。Axiomise已经解决了在这个问题formalISA®提供了一个全新的ISA覆盖分析仪应用®。通过以文本格式捕获规范中所需的功能方案,用户可以通过按“封面”按钮自动获得全面的覆盖范围分析。以报告和波形的形式获得的覆盖范围结果毫无疑问地确定了规范中感兴趣的场景将“总是”发生,而不仅仅是“可以”发生这样就可以提高对验证质量的信心,并提供可以与仿真集成的指标。

所述formalISA®应用无需编写任何输入测试情况下,监控器,检查器,记分牌或属性。用户只需要携带他们选择的RISC-V内核(RTL),覆盖范围规范和设置文件。该应用程序正式证明RTL符合RISC-V ISA的要求,并识别任何错误,无论是功能错误还是安全漏洞(特洛伊木马程序)。如果没有错误,应用程序提供了错误的证据的情况下,从ISA覆盖分析仪输出的新的覆盖分析补充它®。

“我们的应用程序的优点在于,最终用户无需接受正式验证或编写基于仿真的测试台的培训。通过按下'Prove'和'Cover',该应用程序可以发现错误并建立合规性的数学证明,节省了大量的时间和成本,提高了生产率和质量,这得到了正式验证的支持。”Axiomise创始人兼首席执行官Ashish Darbari博士说。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

热点推荐

点击排行

  • · 西星大厦的第二家餐厅

    西星大厦的第二家餐厅Hunt Companies,Inc 和WestStar欣然宣布,Sushi Itto将位于WestStar塔。日式餐厅Shushi Itto已在位于德克萨斯州埃尔帕索市中心的20层,

  • · T-Mobile的Legere被评为美国最佳无...

    T-Mobile的Legere被评为美国最佳无线CEO 排名第四我们经常称赞T-Mobile首席执行官John Legere带领运营商的惊人转变,使其成为美国四大运营商中增长最快,最具创新性的运营商。今天,T-Mobi

  • · 亚马逊推出全新的Kindle Oasis电...

    亚马逊推出全新的Kindle Oasis电子阅读器 前置灯颜色可调推出第二代机型 两年后,亚马逊正在推出第三款电子阅读器Kindle Oasis系列产品。我们不确定亚马逊的命名惯例,但这家美国零售商决定将该

  • · 如何在Chrome for Android中打开黑暗模式

    如何在Chrome for Android中打开黑暗模式三星做到了这一点,华为做到了,谷歌和苹果将在2019年版本的古老移动操作系统中使用它 - 黑暗模式不需要任何演示,因为任何在半夜醒来的

  • · 汤斯维尔的2020年房地产展望

    汤斯维尔的2020年房地产展望这处位于24 50Primrose St,Belgian Gardens的房产每周租金为380美元。 上一年对汤斯维尔地区来说是不寻常的一年,对许多个人和家庭来说是一个创伤。在严峻的经济形势下,一场前所

  • · 为什么设计师们喜欢这种看起来很中...

    为什么设计师们喜欢这种看起来很中性的颜色呢如果有一个微妙的,舒缓的色调设计师最喜欢的是中性,它必须是蓝色的。特别是,一个苍白的,通风的,几乎没有阴影。那么有什么吸引力呢?浅蓝色反射自然光一样美丽的白色,但感觉只是