產(chǎn)品服務(wù)
連接性檢查工具EsseCC（Connectivity Checking，簡(jiǎn)稱CC），是一個(gè)高效的連接性檢查驗(yàn)證工具，為用戶提供快速的錯(cuò)誤檢測(cè)以及信號(hào)到信號(hào)的預(yù)期設(shè)計(jì)行為驗(yàn)證。EsseCC以RTL電路和連接規(guī)范作為輸入，快速檢查設(shè)計(jì)是否符合連接規(guī)范。該工具支持Verilog/SystemVerilog和VHDL的混合編譯，能夠驗(yàn)證物理路徑及連接屬性，同時(shí)支持反向生成連接和連接信號(hào)的覆蓋率檢查。EsseCC還可以生成反例的Testbench及波形圖，其人性化的GUI界面提供原理圖和波形查看功能，使用戶操作更加簡(jiǎn)便。
產(chǎn)品優(yōu)勢(shì)
快速、高效的驗(yàn)證流程
直觀易操作的用戶界面
支持反例生成和波形顯示
支持多種引擎的連接性檢查
支持生成跨DFF的連接關(guān)系生成
-889.png)
