[實用新型]一種用以處理自然語言斷言的系統

有效

• 申請號: 200920218657.X
• 申請日: 2009-10-10
• 公開（公告）號: CN201876881U
• 公開（公告）日: 2011-06-22
• 發明（設計）人: 亞蘭·道格拉斯
• 申請（專利權）人: 新諾普系統公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京安信方達知識產權代理有限公司 11262
• 代理人: 劉紅梅;顏濤

技術領域

本實用新型涉及自然語言斷言(natural?language?assertions)，特別地，涉及一種用以處理自然語言斷言的系統，其可以自動分析自然語言斷言，并將它們轉換為驗證語言斷言(verification?language?assertions)，接著再自所述的驗證語言斷言中產生已解釋(interpreted)自然語言斷言，以藉此在驗證期間允許有意義的使用者檢閱。

背景技術

集成電路(ICs)的設計已經漸漸地變得越來越復雜，因而增加了對于此類設計的快速驗證的需求，但遺憾地是，于設計復雜度上的突破常?？爝^驗證程序的改進，而此不同調則有部份的原因是由于使用的語言不同，尤其是，用于IC設計的硬件描述語言(HDLs，hardware?div?languages)，例如，硬件描述語言(Verilog)或超高速集成電路硬件描述語言(VHDL)，其用以描述電子系統在空間與時間方面的結構與行為的是標準的、以文字為主的(text-based)表達式，因此，HDLs已為設計者所熟知且接受，但相對地，驗證語言，例如，System?Verilog，VERA，或E！，卻具有比HDLs更高階的形式，因而造成使用者的接受度相對上低許多。

某些用于軟件程序設計的表達式，稱為斷言(assertions)，其有助于驗證語言的形式。一個斷言即為一個會在不正確若發生時指出錯誤的表達式，而在一HDL設計的上下文中，一斷言則是可以檢查特殊行為，并且在所述特殊行為發生時顯示一訊息。另外，斷言亦可以同時監控“好的”以及“壞的”行為，但不像HDLs中所使用的標準的、以文字為主的表達式。斷言傾向于為設計者特有的形式，也就是，一使用者無法輕易地讀取其他人所撰寫的斷言，因此，當一使用者不是所述斷言的作者時，就很可能在驗證時忽略具有一“失敗”狀態的斷言。

斷言有助于在驗證期間增加一設計的控制力以及觀察力，因此，的確有需要一能夠促進更多斷言的使用、且同時能增加其可靠度的用以處理自然語言斷言的系統。

實用新型內容

本實用新型所要解決的技術問題在于需要提供一種能夠促進更多斷言的使用、且同時能增加其可靠度的系統。

本實用新型提供的一種用以處理自然語言斷言的系統，所述系統包括：

識別自然語言斷言(NLA)的裝置；

利用自然語言解析器以及合成技術而將所述自然語言斷言轉譯為驗證語言斷言的裝置；

利用驗證語言斷言解析器以及樣式匹配技術而將所述驗證語言斷言轉譯為已解釋NLA(NLA*)的裝置；

允許所述NLA*以及所述NLA的使用者檢閱的裝置；以及

利用以使用者檢閱作為基礎的所述驗證語言斷言而執行驗證的裝置。

優選地，該系統更包括將所述驗證的結果注解于所述自然語言斷言上的裝置。

優選地，每個識別以及轉譯的裝置處理多個斷言。

優選地，該系統更包括將所述自然語言斷言與在高速緩沖存儲器中的一組自然語言斷言進行比較的裝置，以及在所述自然語言斷言匹配于所述組自然語言斷言中的一個自然語言斷言的時候直接繼續執行驗證的裝置，其中，執行驗證的所述裝置使用存儲在所述高速緩沖存儲器中且與已匹配的自然語言斷言關聯的驗證語言斷言。

優選地，該系統更包括當所述自然語言斷言不匹配于所述一個自然語言斷言時繼續進行所述轉譯的裝置。

一種處理自然語言斷言(NLAs，Natural?Language?Assertions)的系統，識別一NLA，以及接著利用一自然語言解析器(NLP，Natural?Languageparser)以及合成技術(synthesis?techniques)而將所述NLA轉譯為一驗證語言斷言(VLA，Verification?Language?Assertion)，之后，此VLA可以利用一VLA解析器以及樣式匹配技術(pattern?matching?techniques)而被轉譯為一已解釋NLA(interpreted?NLA)(NLA*)，在此時，允許使用者檢閱所述NLA*以及所述NLA，然后，當使用者決定所述NLA*與所述NLA彼此相同、或具有的差異很微小時，就利用所述VLA執行驗，而驗證的結果則是接著會回頭被注解于所述NLA之上。