在浩瀚无垠的数字宇宙中，每一块芯片、每一片电路板都是精心编织的复杂网络，它们承载着信息传递、处理的使命，如同现实世界中繁忙的交通枢纽。想象一下，你是一位勇敢的探险家，踏入了一个古老而神秘的迷宫。迷宫中布满了错综复杂的路径和隐秘的房间，而你的任务是确保每一条路径都被探索过，每一个角落都留下你的足迹。但随着时间的推移，你发现有些房间似乎无论如何都无法到达，它们就像是迷宫中的“幽灵区域”，静静地等待着被揭示。

这就是数字设计验证中面临的挑战之一。在复杂的数字电路设计中，随着设计规模的不断扩大和复杂度的增加，验证工作变得愈发艰巨。传统的验证方法如同手持火把在迷宫中摸索，虽然能够照亮大部分区域，但总有一些“隐秘的角落”难以触及，而这些“隐秘的角落”可能是无用的代码、逻辑错误或配置失误造成的。

在电子设计自动化（EDA）或其他相关领域中，覆盖不可达性检查工具可以简单地理解成一位细心的“审查员”。它并不改变电路设计，而是深入探索设计的每一个“角落”，寻找那些因逻辑错误、设计冗余或配置不当而从未被实际使用的部分（即覆盖不可达区域），并指出问题，帮助开发者清理和优化设计，确保每个部分都发挥作用，提高整个系统的效率和可靠性。

市面上覆盖不可达性

检查工具的挑战

随着芯片设计复杂度的飙升，其需探索的“隐秘角落”愈发幽深莫测，这对工具的检查深度与广度构成了严峻考验。一方面，海量设计数据的处理要求工具必须具备高效能的核心算法，确保在浩瀚数据海洋中精准捕获每一个潜在问题，而不遗漏任何细节。

另一方面，随着半导体技术的日新月异，新工艺、新架构层出不穷，覆盖不可达性检查工具必须迅速适应这些变化，深入理解并验证新型设计的独特特性，确保验证的全面性和前瞻性。这要求工具不仅要有深厚的技术底蕴，更需具备敏锐的市场洞察力和快速响应能力。

EDA市场的激烈竞争，使得覆盖不可达性检查工具的性能与用户体验成为决定胜负的“关键”。用户期望的多样化与个性化需求，促使工具开发者不断追求更高的灵活性和可定制性，以期在纷繁复杂的应用场景中都能游刃有余。然而，技术的快速迭代与新兴技术的崛起，如云计算、大数据分析等，也为工具开发带来了新的技术门槛和融合难题。

国微芯“芯天成EsseUNR”

覆盖不可达性检查工具

随着数字设计复杂性的不断攀升，验证工作面临着前所未有的挑战。传统方法通过编写测试用例来提升验证覆盖率的难度急剧增加，往往难以触及设计深层的未覆盖区域。为了应对这一市场挑战，国微芯推出芯天成覆盖不可达性检查工具——EsseUNR（Coverage Unreachability Checking）。


EsseUNR凭借其卓越的性能和全面的功能，为ASIC/FPGA设计、通信协议验证、处理器控制单元及复杂硬件设计的验证工作提供了强有力的支持。它专为提升数字电路设计的验证覆盖率而设计，能有效解决验证覆盖率提升难题。该工具的主要功能包括：

（1）多语言支持

支持Verilog/SystemVerilog和VHDL的混合编译，满足不同设计团队和项目的语言需求，确保验证流程的灵活性和兼容性。

（2）主流仿真工具覆盖数据集成

能够无缝集成主流仿真工具的覆盖数据，对未覆盖的代码区域进行深入的不可达性检查。这大大简化了验证流程，减少了重复工作，提高了验证效率。

（3）形式验证方法

采用形式验证的方法对RTL（寄存器传输级）设计进行不可达性检查，确保验证的准确性和可靠性。形式验证能够覆盖传统仿真难以触及的复杂逻辑和边界情况，提升验证的完整性和覆盖率。

（4）多种类型的不可达性检查

支持对RTL设计中的Line（行）、Condition（条件）、Fsm（有限状态机）、Branch（分支）、Toggle（翻转）等多种类型的不可达性进行检查。这种全面的检查方式能够确保验证的深入和细致，避免遗漏任何潜在的验证问题。

（5）生成可达检查点Testbench及波形图

支持自动生成可达检查点的Testbench和波形图，帮助设计团队快速定位问题并进行调试。这些检查点和波形图提供了直观的验证结果展示，有助于加速问题解决过程。

（5）GUI界面支持

提供易于使用的GUI界面，支持通过界面查看原理图、波形等验证结果。这种图形化的展示方式使得验证结果更加直观易懂，降低了验证工作的门槛和复杂度。


EsseUNR以其全面的功能、高效的性能和易用的界面，为数字电路设计的验证工作提供了强有力的支持。无论是提高验证覆盖率、优化设计质量还是加速问题解决过程，EsseUNR都能发挥重要作用。

芯天成EsseUNR

核心优势及应用场景

EsseUNR凭借其卓越的覆盖率提升能力、高效的验证流程、强大的形式验证支持、全面的不可达性检查类型以及直观易用的GUI界面，在数字设计验证领域脱颖而出。它不仅能够深入挖掘传统验证方法难以触及的设计深层区域，显著提升验证覆盖率，还能通过自动化处理减少人工干预，提高验证效率。同时，其形式验证方法确保了验证的准确性和可靠性，能够覆盖复杂逻辑和边界情况，为设计团队提供更高层次的验证保障。


ASIC/FPGA的不可达性检查

无论是复杂的ASIC设计还是灵活的FPGA实现，EsseUNR都能提供全面、高效的不可达性检查服务，确保设计的每一个细节都经过严格验证。

通信协议通信状态的不可达性检查

在通信协议设计中，确保所有通信状态均可达是保障协议正确性的关键。EsseUNR能够深入剖析协议实现细节，发现潜在的不可达状态。

处理器控制单元的不可达性检查

处理器的控制单元是系统的心脏，其设计质量直接关系到整个系统的稳定性和性能。EsseUNR的不可达性检查功能有助于发现控制单元设计中的潜在漏洞。

DMA控制器的不可达性检查

DMA（直接内存访问）控制器是高速数据传输的核心部件。EsseUNR能够对其各种工作模式下的数据传输路径进行详尽分析，确保数据传输的完整性和可靠性。

寄存器状态的不可达性检查

寄存器是硬件设计中不可或缺的组成部分。EsseUNR能够检查所有寄存器的状态是否均可达，从而避免在设计过程中遗漏任何重要配置。

随着数字技术的不断发展和设计需求的日益复杂，EsseUNR不断优化和完善其功能，提升用户体验，持续发挥产品优势，为设计团队提供更加高效、精准的验证解决方案。同时，国微芯也将秉持着“自主创新，让造芯更便捷”的使命愿景，不断推出更多创新产品，为集成电路行业的持续繁荣与发展贡献更多力量。

关于国微芯

深圳国微芯科技有限公司是一家具备国际竞争力的EDA创新企业，依托自主可控的核心技术优势，建立了EDA+ IP +设计服务一体化平台，向全球芯片厂商提供安全、高效、便捷的国产EDA工具系统和服务。公司拥有超500人的强大研发团队，硕博比超80%，核心成员均有20年以上海内外从业经历。

未来国微芯将秉持“自主研发、吸收引进、产学研结合、投资并购”策略来构建数字芯片设计与制造的“桥梁”，深度打造国产数字芯片全流程 EDA 工具系统，并实现规模化应用，支撑集成电路产业的持续、健康发展。