Questa Formal 2021是一款全球知名極為強(qiáng)大好用的Hdl語言仿真軟件。這款軟件相比于市面上的那些同類型軟件，它主要采用了領(lǐng)先于業(yè)內(nèi)的先進(jìn)優(yōu)化技術(shù)，功能非常強(qiáng)大，且使用體驗(yàn)也十分良好。而且該軟件還集編譯技術(shù)、Tcl/Tk技術(shù)以及單一的內(nèi)核仿真技術(shù)與一體，能夠帶給用戶最方便快捷的編譯功能，能夠幫助用戶節(jié)省大量的時(shí)間，從而有效的提升他們的工作效率，相當(dāng)優(yōu)秀。而且該軟件還有一個(gè)亮點(diǎn)就在于它的編譯代碼不依賴于任何平臺，能夠獨(dú)立的運(yùn)行，非常強(qiáng)大。其優(yōu)點(diǎn)就在于能夠最大程度幫助用戶保護(hù)他們的ip核。同時(shí)軟件還有著個(gè)性鮮明的獨(dú)特圖形界面以及用戶接口，能夠幫助用戶們更加方便快速的調(diào)整錯誤，不用再像以前那般，需要耗費(fèi)大量的時(shí)間精力去進(jìn)行糾正。軟件還能夠全方面的支持和兼容VHDL和Verilog語言以及c/c++的功能調(diào)試和調(diào)用，最大程度的解決了Verilog和VHDL之間不兼容不可點(diǎn)意義的的煩惱，相當(dāng)好用。在這款全新的版本當(dāng)中開發(fā)商業(yè)做出了很多的優(yōu)化和全新功能添加，這些調(diào)整和改動無一不為用戶帶來更為便捷強(qiáng)大的幫助?？偟膩碚f對小編為大家?guī)淼倪@款Questa Formal 2021破解版有需要的諸位可自行在本站下載

新增功能

1、新的 Tcl 命令

Questa Formal可以提升約束- 用于更改指定 CDC 約束的提升屬性的新指令。

-重置檢查首選項(xiàng)隔離- 為隔離策略設(shè)置首選項(xiàng)的新指令。

2、新的復(fù)位檢查方案/檢查

reset_as_data - 異步設(shè)置或復(fù)位信號連接到數(shù)據(jù)引腳。

3、新的 Lint 檢查

case_small - case 語句的 case 項(xiàng)較少。

評論密度_低- 設(shè)計(jì)文件的注釋密度小于指定的限制。

func_arg_array_constrained - 函數(shù)參數(shù)是一個(gè)受約束的數(shù)組。

module_has_multi_clks - 多個(gè)順序塊使用相同的時(shí)鐘。

net_decl_with_assign - net 在同一個(gè)語句中聲明和賦值

package_disallowed - 不允許使用指定的包。

package_name_not_standard - 包名不遵循標(biāo)準(zhǔn)命名規(guī)則。

pragma_disallowed - 不允許使用指定的 pragma。

reg_reset_value_disallowed- 寄存器被分配了一個(gè)復(fù)位值，這是不允許的。

sync_control_is_internal - 內(nèi)部生成同步控制信號。

軟件特色

1、自動化應(yīng)用程序 – 提供快速、準(zhǔn)確、一鍵式自動驗(yàn)證特定設(shè)計(jì)方面的功能，這些方面使用傳統(tǒng)方法難以驗(yàn)證、耗時(shí)或幾乎無法驗(yàn)證

2、及早發(fā)現(xiàn)錯誤——使驗(yàn)證能夠在設(shè)計(jì)階段的早期開始，在仿真測試臺準(zhǔn)備就緒之前。

3、提高驗(yàn)證質(zhì)量——詳盡的方法使您的分析能夠遍歷整個(gè)狀態(tài)空間，揭示其他驗(yàn)證方法可能會遺漏的意外極端情況。

4、提高驗(yàn)證吞吐量——使用您手頭的文件自動生成斷言并通過正式引擎運(yùn)行它們。這些文件包括 DUT 的 RTL 和特定任務(wù)的規(guī)范文件；例如，描述 SoC 中 IP 連接的 CSV 文件或捕獲復(fù)雜寄存器訪問策略的 XML 文件。

在引擎蓋下，世界級、大容量、高吞吐量引擎通過彼此實(shí)時(shí)合作有效地建立了各自的優(yōu)勢；從而更快地完成驗(yàn)證。任何差異都用“反例”波形說明，顯示問題的根本原因，顯著減少調(diào)試時(shí)間和工作量

5、高性能分析——對 核心技術(shù)的專門應(yīng)用研究和工程投資在掛鐘性能、內(nèi)存使用和存儲消耗方面不斷改進(jìn)。 再加上經(jīng)過優(yōu)化的引擎，這意味著 Questa Formal 經(jīng)常超出要求的可擴(kuò)展性和計(jì)算資源預(yù)期。