SYNPLICITY 推出 TOTALRECALL，將 ASIC 驗(yàn)證方法學(xué)進(jìn)行革命性創(chuàng)新
新技術(shù)實(shí)現(xiàn)了高速驗(yàn)證，全面了解問(wèn)題所在
業(yè)界領(lǐng)先的半導(dǎo)體設(shè)計(jì)與驗(yàn)證軟件供應(yīng)商 Synplicity 公司（納斯達(dá)克上市代號(hào)：SYNP）日前發(fā)布了其 TotalRecall™完全可視化技術(shù)的詳細(xì)說(shuō)明。Synplicity 相信這項(xiàng)新技術(shù)使設(shè)計(jì)人員能夠迅速找出問(wèn)題所在并確保排除故障，從而大幅提高 FPGA 原型設(shè)計(jì)在 ASIC 驗(yàn)證工具中的使用率。TotalRecall 技術(shù)使調(diào)試過(guò)程中的可視化程度達(dá)到甚至超過(guò)模擬器，且其運(yùn)行速度是模擬器的 10 倍乃至 100 倍。此外，該創(chuàng)新型技術(shù)還能捕獲故障發(fā)生前和之后的全部信號(hào)信息。

TotalRecall 技術(shù)能捕獲整個(gè)設(shè)計(jì)（模塊或完整芯片）過(guò)程中的所有信號(hào)，其中包括存儲(chǔ)器狀態(tài)、故障發(fā)生點(diǎn)之前用戶(hù)定義的周期數(shù)等。整個(gè)設(shè)計(jì)狀態(tài)以及自動(dòng)生成的測(cè)試工作臺(tái)隨后可導(dǎo)出至 HDL 模擬器，根據(jù)需要多次重放，直到找出問(wèn)題并確保故障排除為止。TotalRecall 專(zhuān)利技術(shù)的獨(dú)特性在于，我們能用與第一處故障的信號(hào)完全相同的信號(hào)值在模擬環(huán)境中檢測(cè)故障是否成功排除。

TotalRecall 技術(shù)通過(guò)在硬件中集成斷言功能還可支持強(qiáng)大的硬件驗(yàn)證技術(shù)。許多 IC 設(shè)計(jì)人員在設(shè)計(jì)流程中使用斷言功能，但由于模擬速度較慢，難以充分發(fā)揮驗(yàn)證功能。在 FPGA 硬件中合成斷言功能后，由于斷言檢測(cè)的速度提高，我們可以全面采用斷言功能，從而有助于驗(yàn)證工作。舉例來(lái)說(shuō)，如果我們?cè)谑謾C(jī)引導(dǎo)程序(boot up sequence)中只采用軟件模擬器的話(huà)，那么完成引導(dǎo)程序時(shí)間會(huì)超過(guò) 30 天。但如果采用運(yùn)行速度達(dá) 20 MHz 的 FPGA 原型設(shè)計(jì)，那么相同的引導(dǎo)程序所需時(shí)間僅為 3 秒鐘，從而能全面發(fā)揮斷言功能，以便快速檢測(cè)故障并確保故障被有效而迅速排除[1]。我們將 FPGA 原型設(shè)計(jì)、斷言合成以及 TotalRecall 技術(shù)完美結(jié)合在一起，不僅能夠快速檢測(cè)故障，而且還能避免采用其他方法進(jìn)行驗(yàn)證時(shí)可能發(fā)生的故障漏檢或無(wú)法檢測(cè)到的情況。

Synplicity 的總裁兼首席執(zhí)行官 (CEO) Gary Meyers 指出：“就提高調(diào)試可視性和工作效率而言，TotalRecall 技術(shù)邁出了激動(dòng)人心的一步。TotalRecall 技術(shù)結(jié)合了 FPGA 原型設(shè)計(jì)現(xiàn)有的高性能與低成本優(yōu)勢(shì)，將使原型設(shè)計(jì)方法成為 ASIC 驗(yàn)證的首選方法。”

與其他解決方案不同，TotalRecall 技術(shù)還可用來(lái)查找實(shí)時(shí)運(yùn)行硬件條件下的非確定性故障。對(duì)這類(lèi)故障以及其他少見(jiàn)故障來(lái)說(shuō)，我們幾乎不可能確定通過(guò)修改 RTL 代碼就能真正地排除故障。在此情況下，我們將 TotalRecall 技術(shù)與 FPGA 原型設(shè)計(jì)的高速度相結(jié)合，就能在故障發(fā)生前后實(shí)現(xiàn)全面的設(shè)計(jì)可視性，并為用戶(hù)提供故障是否排除所需的完整環(huán)境，這一功能是非常獨(dú)特的。

Synplicity 看好 TotalRecall 技術(shù)的前景，認(rèn)為它能與項(xiàng)目以外的合作伙伴的技術(shù)實(shí)現(xiàn)完美集成，特別適于配合原型設(shè)計(jì)項(xiàng)目合作伙伴的技術(shù)。Synplicity 將開(kāi)發(fā)參考設(shè)計(jì)流程，并與各大模擬環(huán)境進(jìn)行集成。我們將在 2007 年年中提供采用 TotalRecall 技術(shù)的產(chǎn)品的更多詳情。