Patent Document ID: 8689192
Application ID: 12352423

Base Claim:
1. A method of processing natural language assertions (NLAs), the method comprising: demarcating elements of a register transfer language (RTL) description, the elements including at least one of predetermined terms or expressions; identifying an NLA; using a computer, translating the NLA into a verification language assertion (VLA) using a natural language parser (NLP) and synthesis techniques, wherein said translating includes replacing said elements with tokens, each token being a unique identifier, said tokens being treated by the NLP as nouns, thereby ensuring text maintenance during NLP processing; translating the VLA into an interpreted NLA (NLA*) using a VLA parser and pattern matching techniques; allowing user review of the NLA* and the NLA; and performing verification using the VLA based on the user review.

---

Claim 4:
4. The method of claim 1 , further including comparing the NLA to a set of NLAs in a cache, and proceeding directly to the performing verification when the NLA matches one NLA in the set of NLAs, wherein the verification is performed with a one VLA stored in the cache and associated with the matched NLA.