6. A method of processing natural language assertions (NLAs), the method including auto-verification, 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; translating the NLA* into an interpreted VLA (VLA*); comparing the VLA and the VLA*; providing a warning when the VLA and the VLA* are different; and performing verification using the VLA when the VLA and the VLA* are not different.
9. The method of claim 6 , 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.