[实用新型]一种用以处理自然语言断言的系统

说明书

技术领域

本实用新型涉及自然语言断言(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之上。