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

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

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

問：首先了解下收購背景，為什么管理時(shí)序約束變得越來越困難？

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

問：FishTail有什么過人之處嗎？

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

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

問：此次收購對新思科技有哪些好處呢？

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

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

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

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

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

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

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

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