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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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