新思科技收購(gòu)FishTail公司實(shí)現(xiàn)進(jìn)展來(lái)管理設(shè)計(jì)約束解決方案

為了增強(qiáng)數(shù)字設(shè)計(jì)約束收斂流程，新思科技于2022年9月16日收購(gòu)了總部位于美國(guó)俄勒岡州的黃金時(shí)序約束（SDC）公司FishTail Design Automation。完成收購(gòu)后，新思科技現(xiàn)在可以在數(shù)字設(shè)計(jì)系列產(chǎn)品中提供統(tǒng)一的一站式約束生成、驗(yàn)證、管理和簽核解決方案。

時(shí)序約束變得日益復(fù)雜，這在功耗、性能和面積（PPA）、設(shè)計(jì)收斂時(shí)間（當(dāng)約束未得到滿(mǎn)足時(shí)）以及整體上市時(shí)間方面都會(huì)影響結(jié)果質(zhì)量。作為新思科技的長(zhǎng)期合作伙伴，F(xiàn)ishTail Design Automation為從RTL到簽核的端到端約束生成和驗(yàn)證（以誤報(bào)最小的方式驗(yàn)證約束）提供了市場(chǎng)領(lǐng)先的解決方案。FishTail的各項(xiàng)技術(shù)可以繼續(xù)單獨(dú)使用，同時(shí)也將緊密集成到新思科技的數(shù)字設(shè)計(jì)流程當(dāng)中。

近日，新思科技芯片實(shí)現(xiàn)事業(yè)部工程高級(jí)副總裁Jacob Avidan接受采訪，詳細(xì)探討了本次收購(gòu)將如何更好地融合約束技術(shù)，以及開(kāi)發(fā)者將如何從中受益。

問(wèn)：首先了解下收購(gòu)背景，為什么管理時(shí)序約束變得越來(lái)越困難？

答：芯片設(shè)計(jì)越來(lái)越復(fù)雜，在時(shí)序等領(lǐng)域提供準(zhǔn)確的物理約束這一需求也變得越發(fā)迫切。時(shí)序受到許多外部因素的影響，比如與其他模塊的集成、版圖規(guī)劃和布線等。時(shí)序約束需要通過(guò)設(shè)計(jì)流程來(lái)妥善管理，它們會(huì)經(jīng)歷多次迭代，并以能夠保留設(shè)計(jì)意圖的方式傳遞到下一階段，所以準(zhǔn)確性非常重要。當(dāng)下，由于時(shí)鐘和小芯片（chiplet）數(shù)量不斷增加，分層約束也越復(fù)雜，如果設(shè)計(jì)團(tuán)隊(duì)還必須要對(duì)來(lái)自不同供應(yīng)商提供的不同工具做好交接管理，隨之而來(lái)的挑戰(zhàn)也可想而知。

問(wèn)：FishTail有什么過(guò)人之處嗎？

答：FishTail的解決方案支持時(shí)鐘約束與時(shí)序異常生成、形式化約束驗(yàn)證和交互式調(diào)試，以及檢查、映射、升級(jí)、降級(jí)和等效性驗(yàn)證。該公司的SDC生成解決方案能夠讀取設(shè)計(jì)的RTL，并生成設(shè)計(jì)的時(shí)鐘定義、I/O延遲、時(shí)鐘組、時(shí)鐘檢測(cè)和時(shí)序異常。

FishTail的SDC驗(yàn)證流程能夠讀取設(shè)計(jì)的RTL描述，以及門(mén)級(jí)或RTL級(jí)Tcl約束，然后將約束映射到設(shè)計(jì)，并標(biāo)記出語(yǔ)法和約束應(yīng)用問(wèn)題，同時(shí)會(huì)對(duì)約束進(jìn)行形式化驗(yàn)證。SDC驗(yàn)證技術(shù)讓開(kāi)發(fā)者無(wú)需進(jìn)行門(mén)級(jí)仿真。

問(wèn)：此次收購(gòu)對(duì)新思科技有哪些好處呢？

答：通過(guò)此次收購(gòu)，新思科技將為客戶(hù)提供從RTL到門(mén)級(jí)時(shí)序約束處理的一站式統(tǒng)一解決方案，從而為客戶(hù)提供從驗(yàn)證到實(shí)施再到簽核的出色的約束收斂流程。而當(dāng)今市場(chǎng)上的許多流程都各自為政，需要多種EDA工具和電子表格的方法。以后，新思科技將更好地幫助客戶(hù)解決因時(shí)序約束處理變得愈加復(fù)雜而面臨的巨大生產(chǎn)力和PPA挑戰(zhàn)。新思科技一直努力在Fusion Compiler RTL-to-GDSII設(shè)計(jì)產(chǎn)品中融合綜合、布局布線和簽核技術(shù)，而將RTL級(jí)和門(mén)級(jí)時(shí)序約束管理整合到一個(gè)統(tǒng)一的的支柱方案，用于時(shí)序約束。

未來(lái)，新思科技還計(jì)劃推出更多的性能優(yōu)化解決方案，并繼續(xù)擴(kuò)充現(xiàn)有功能。此外，新思科技的全球技術(shù)支持團(tuán)隊(duì)將擴(kuò)大規(guī)模，以便更好地與客戶(hù)合作，幫助客戶(hù)優(yōu)化約束處理。

問(wèn)：統(tǒng)一的約束處理解決方案對(duì)設(shè)計(jì)團(tuán)隊(duì)有何好處？

答：通過(guò)在設(shè)計(jì)流程早期自動(dòng)生成和驗(yàn)證黃金時(shí)序約束，開(kāi)發(fā)者將改善芯片設(shè)計(jì)流程。開(kāi)發(fā)者們將通過(guò)已被證明是正確的完整約束來(lái)推動(dòng)芯片實(shí)現(xiàn)過(guò)程，并在實(shí)現(xiàn)過(guò)程中對(duì)約束進(jìn)行管理。因此，芯片的時(shí)序、面積和功耗都將得到改進(jìn)，同時(shí)芯片實(shí)現(xiàn)的時(shí)間會(huì)縮短，后端時(shí)序收斂迭代也會(huì)大幅減少。此外，通過(guò)使用專(zhuān)有形式化引擎證明設(shè)計(jì)約束的正確性，開(kāi)發(fā)者可以降低因時(shí)序異常錯(cuò)誤而導(dǎo)致芯片設(shè)計(jì)失敗的風(fēng)險(xiǎn)。

問(wèn)：新收購(gòu)的時(shí)序約束技術(shù)將如何融入新思科技的數(shù)字設(shè)計(jì)流程中？

答：FishTail的方案是通過(guò)在設(shè)計(jì)流程初期自動(dòng)生成和驗(yàn)證黃金時(shí)序約束來(lái)改進(jìn)芯片設(shè)計(jì)流程。借助FishTail的技術(shù)，我們可以利用自動(dòng)化功能對(duì)復(fù)雜的RTL或門(mén)級(jí)設(shè)計(jì)進(jìn)行抽象處理，以提取設(shè)計(jì)的行為和結(jié)構(gòu)，只保留執(zhí)行任務(wù)所需的信息。因此，我們的解決方案一夜之間就能生成并驗(yàn)證數(shù)百萬(wàn)門(mén)級(jí)設(shè)計(jì)中的時(shí)序異常，同時(shí)提供出色的結(jié)果質(zhì)量（即沒(méi)有誤報(bào)）。

我們通過(guò)此次收購(gòu)實(shí)現(xiàn)了一種可隨芯片實(shí)現(xiàn)進(jìn)展來(lái)管理設(shè)計(jì)約束的解決方案。這些功能與新思科技PrimeTime套件和Fusion Compiler RTL-to-GDSII解決方案形成了互補(bǔ)，其中前者為時(shí)序、信號(hào)完整性、功耗和變異感知分析提供了一種可靠的黃金簽核解決方案，而后者與新思科技Design CompilerNXT RTL綜合解決方案一起實(shí)現(xiàn)了高度融合的全流程數(shù)字化實(shí)現(xiàn)。Design Compiler NXT解決方案提供了快速、高效的優(yōu)化引擎、云就緒（cloud- ready）分布式綜合，以及一種高精度的RC估算方法。客戶(hù)將能夠在我們的約束處理環(huán)境中完成各種約束處理工作，避免市場(chǎng)上常見(jiàn)的繁瑣、易出錯(cuò)的多工具手動(dòng)流程。

總而言之，新思科技將通過(guò)更強(qiáng)大的前端、實(shí)現(xiàn)和簽核流程，繼續(xù)幫助我們的客戶(hù)成功設(shè)計(jì)出芯片。