思源科技（SpringSoft）于昨（7）日宣布，微软公司Xbox产品开发团队已运用Verdi自动化侦错系统。思源科技表示，该侦错平台使微软团队能够快速理解预期的设计行为、找出设计错误和有效管理设计版本变动，避免繁杂而且耗时的手工步骤, 与过去执行过的项目相比, 在某些领域甚至可以缩短一半的侦错时间。

Xbox团队运用Verdi系统于最新的绘图与微处理器芯片设计上，由于IC尺寸的缩小与其复杂性日益增高, 使工程师面临史无前例的验证挑战。验证工程师们必须仰赖侦错软件来自动化”寻找错误”的工作，并有效率地比较修正过后的不同设计版本。

微软XBOX事业群资深验证工程师Nguyen Le表示，Verdi工具使团队缩短了一半的侦错时间在最新的复杂芯片设计；其追踪和比较设计的自动化功能堪称无价。过去要耗费许多时间在追踪问题上,但使用Verdi后，却能够迅速找出错误，并加以更正。

思源科技的工具提供自动化追踪信号变动的功能，运用行为分析技术快速追踪跨越多个频率周期的信号变动。Verdi系统让设计团队能够透过RTL描述而阶层化地追踪设计。即便搭配其他不熟悉的设计元素，验证工程师们仍可快速理解设计码中复杂的关系与相互影响，进而找出错误的根源。

思源科技Verdi产品营销处长李新基表示，微软的Xbox产品系列设计工作是IC设计业界要求最严苛和复杂的任务，看到微软运用思源自动化侦错解决方案所实现的成果，思源感到非常高兴。Verdi原本就是为了要克服寻找、隔离与更正设计错误等严苛挑战而精心开发的。微软所达成的节约时间成果，在该公司所处的快步调消费性市场中更显珍贵。