芯天成连接性检查工具EsseCC（Connectivity Checking，简称CC），是一个高效的连接性检查验证工具，为用户提供快速的错误检测以及信号到信号的预期设计行为验证。EsseCC以RTL电路和连接规范作为输入，快速检查设计是否符合连接规范。该工具支持Verilog/SystemVerilog和VHDL的混合编译，能够验证物理路径及连接属性，同时支持反向生成连接和连接信号的覆盖率检查。EsseCC还可以生成反例的Testbench及波形图，其人性化的GUI界面提供原理图和波形查看功能，使用户操作更加简便。
产品优势
快速、高效的验证流程
直观易操作的用户界面
支持反例生成和波形显示
支持多种引擎的连接性检查
支持生成跨DFF的连接关系生成
-889.png)
