2009年3月17日——電子設(shè)計(jì)自動(dòng)化領(lǐng)導(dǎo)廠(chǎng)商SpringSoft今日宣布 ，已通過(guò)子公司SpringSoft USA完成了CertitudeTM功能驗(yàn)證品管系統(tǒng)廠(chǎng)商Certess, Inc.的股權(quán)收購(gòu)。在上個(gè)月發(fā)表的這項(xiàng)收購(gòu)案中，SpringSoft子公司SpringSoft USA購(gòu)買(mǎi)了Certess流通在外之所有股權(quán)，這項(xiàng)交易已經(jīng)獲得必要的股東及相關(guān)法令確認(rèn)通過(guò)。

　　Certess現(xiàn)在是SpringSoft USA, Inc.完全擁有的子公司，與SpringSoft全球開(kāi)發(fā)、業(yè)務(wù)、支持和營(yíng)銷(xiāo)等營(yíng)運(yùn)功能完全整合。Certess產(chǎn)品已經(jīng)并入SpringSoft的NovasTM驗(yàn)證流程強(qiáng)化解決方案。

　　這項(xiàng)股權(quán)收購(gòu)使SpringSoft新增大約20名員工，主要分布于法國(guó)與美國(guó)。原本在法國(guó)的Certess研發(fā)團(tuán)隊(duì)由邏輯驗(yàn)證研發(fā)部門(mén)副總許有進(jìn)博士領(lǐng)導(dǎo)；既有的Certess業(yè)務(wù)與支持人員整合至SpringSoft全球銷(xiāo)售管道，于業(yè)務(wù)副總Bill Shepard轄下。

　　關(guān)于驗(yàn)證流程強(qiáng)化技術(shù)

　　驗(yàn)證流程強(qiáng)化技術(shù)能讓工程師們用更少的時(shí)間來(lái)完成更多的驗(yàn)證，也能更容易了解并修正其設(shè)計(jì)芯片中的功能；此外更能強(qiáng)化驗(yàn)證環(huán)境的質(zhì)量，讓設(shè)計(jì)者能對(duì)其設(shè)計(jì)的系統(tǒng)芯片(SoC)擁有更高的信心水平。

　　SpringSoft是唯一專(zhuān)注致力于驗(yàn)證強(qiáng)化技術(shù)以及提供解決方案的EDA廠(chǎng)商。SpringSoft旗下的VerdiTM自動(dòng)化偵錯(cuò)系統(tǒng)和SilotiTM設(shè)計(jì)能見(jiàn)度增強(qiáng)系統(tǒng)皆能藉由業(yè)界標(biāo)準(zhǔn)的設(shè)計(jì)語(yǔ)言及接口和其它公司提供的仿真器緊密結(jié)合，以求在功能驗(yàn)證的過(guò)程中加強(qiáng)使用者對(duì)設(shè)計(jì)芯片的了解及效率。與Certitude功能驗(yàn)證品管(functional qualification)技術(shù)的整合也提供了和仿真器相同的溝通方式，這項(xiàng)整合讓SpringSoft產(chǎn)品的使用者能夠確認(rèn)其驗(yàn)證環(huán)境的完整性，而能更快的達(dá)成完整的功能驗(yàn)證并得到更可靠的質(zhì)量結(jié)果。