[问答]

synopsys 的design ware：DW_fpv_div，浮点数除法器，默认32位下，想提升覆盖率（TMAX），如果用功能case去提升覆盖率呢？

问答对人有帮助，内容完整，我也想知道答案 0 公司某个项目用到了这个DW：DW_fpv_div，但是scan跑完，这个模块覆盖率只有60%多，现在要我用TMAX软件，通过功能去覆盖，我看了下rpt报的faults点，尝试去写了几个特殊值去做除法，覆盖率只有微微的提升，请问是否要遍历很多数才能提升覆盖率吗？一般这种浮点数有什么方法去跑吗？每个数都跑岂不是天文数字，本人刚接触不久，请大佬指教下，谢谢 0 本主题由 liuyongwangzi 于 2024-10-16 09:08 添加图标推荐
2024-10-15 18:38:47　　评论淘帖0 邀请回答您可以邀请以下用户，快速回答问题 × liutiefu 该类别下有 26 个回答。邀请回答 ze55me 该类别下有 20 个回答。邀请回答 tigerwang711 该类别下有 20 个回答。邀请回答杀狼000 该类别下有 19 个回答。邀请回答 zhuzb0754 该类别下有 19 个回答。邀请回答冰箱洗衣机该类别下有 18 个回答。邀请回答 YYXIAO 该类别下有 18 个回答。邀请回答河神大人该类别下有 17 个回答。邀请回答 mede1001 该类别下有 17 个回答。邀请回答安德森大该类别下有 17 个回答。邀请回答 CDCNKA 该类别下有 17 个回答。邀请回答 jjll652 该类别下有 17 个回答。邀请回答熊本熊该类别下有 16 个回答。邀请回答 YOYOOO 该类别下有 16 个回答。邀请回答麻酱该类别下有 16 个回答。邀请回答世态薄凉该类别下有 16 个回答。邀请回答 musicalboy 该类别下有 15 个回答。邀请回答万航渡路该类别下有 15 个回答。邀请回答 wuli北该类别下有 15 个回答。邀请回答五斤麻辣油该类别下有 15 个回答。邀请回答举报 h1654155602.1504 相关推荐 • 如何提高DFT设计测试覆盖率？ 2487 • 如何改善5G覆盖率？ 1648 • 怎么提高非随机图形设计的故障覆盖率？ 1404 • 如何增加板级互连的故障诊断覆盖率？ 1518 • VCO中的子带覆盖率是否跟开关电容的取值有关？ 1630 • 为什么覆盖率分析师没有证明电阻器已经过测试？ 1932 • 请问如何获得RM48芯片的失效率λ？故障覆盖率？ 5078 • 请问依靠RM48系列MCU的自身资源是否可以实现对时钟的高覆盖率诊断？ 3484 • STM8支持浮点数除法运算吗？ 6616 • STM8支持浮点数除法运算吗？ 2119 1个回答

答案对人有帮助，有参考价值 0 要提升Synopsys DesignWare DW_fpv_div浮点数除法器的覆盖率，确实需要一些策略和方法。以下是一些建议和步骤，希望能帮助你提高覆盖率： 1. 理解DW_fpv_div浮点数除法器的工作原理和特性：首先，你需要了解DW_fpv_div浮点数除法器的工作原理，包括它的输入输出格式、精度、异常处理等。这有助于你更好地设计测试用例。 2. 制定测试策略：根据DW_fpv_div浮点数除法器的特性，制定合适的测试策略。例如，你可以关注以下几个方面： - 正负数的除法 - 零除数的处理 - 溢出和下溢的处理 - 精度损失的处理 - 异常值的处理（如NaN、无穷大等） 3. 设计测试用例：根据测试策略，设计一系列测试用例。这些测试用例应该覆盖各种可能的情况，包括正常情况、边界情况和异常情况。例如： - 正数除以正数 - 负数除以负数 - 正数除以负数 - 负数除以正数 - 除数为零 - 被除数为零 - 被除数和除数都为零 - 被除数和除数都为无穷大 - 被除数为NaN - 除数为NaN - 被除数和除数都为NaN 4. 使用TMAX软件进行测试：将设计好的测试用例输入到TMAX软件中，运行测试并收集覆盖率数据。根据测试结果，分析哪些测试用例没有覆盖到，然后针对性地设计新的测试用例。 5. 优化测试用例：根据测试结果，不断优化测试用例，以提高覆盖率。这可能需要多次迭代和调整。 6. 考虑使用随机测试：对于浮点数除法器，可以尝试使用随机测试方法。随机测试可以生成大量的测试用例，有助于提高覆盖率。但是，随机测试可能需要较长的时间和计算资源。 7. 与其他测试方法结合：除了功能测试，还可以考虑使用其他测试方法，如形式验证、静态分析等，以提高覆盖率。总之，提高DW_fpv_div浮点数除法器的覆盖率需要综合运用多种测试方法和策略。通过不断优化测试用例和调整测试策略，你可以逐步提高覆盖率。希望这些建议对你有所帮助！最佳答案

2024-10-15 18:38:48 1 评论举报张桂英 1 条评论 h1654155602.150 2024-10-17 10:20 谢谢回答！受益匪浅赞回复举报