EDA软件供货商思源科技(SpringSoft)宣布，已经与半导体测试设备供货商 Advantest Corporation 签订合约，Advantest 将扩大使用思源的 Verdi 自动化侦错系统，在其增强型电子系统层级(ESL)的设计流程中使用 Verdi ，以验证经行为合成软件合成的缓存器交换层次(RTL)设计。

        Advantest 表示，该公司数年前便已在自动化测试机台(ATE)的各世代特殊应用芯片(ASIC)之RTL模拟以及设计分析中，使用 Verdi 作为标准侦错平台。 Verdi 所提供的自动侦错技术能自动追踪到错误发生的源头，为ATE供货商节省下工程时间与资源。Advantest 利用 Verdi 建立了从C到 RTL 的先进 ESL 合成方法，达成了更高的工程产值。

        Verdi自动侦错系统是思源科技的侦错产品，它能使工程师们理解复杂IC或系统芯片(SoC)之工作原理的过程自动化，并节省一半以上的侦除错时间。尤其是在面对不熟悉的他人遗留程序代码(Legacy Code)或第三方智慧财产组块(third-party IP)时效果更加卓越。

        这项全功能的系统使用独特的分析引擎，能在时间轴上自动的追踪设计行为，并提供各种不同的形象化视野让使用者能观察设计的不同面向，并分析设计中的因果关系。工程师更能使用其专利技术展现设计中的机能运作，以及程序代码、声明(assertion)、和系统测试板之间的互动关系。