11. A non-transitory computer-readable medium storing computer-executable instructions for processing natural language assertions (NLAs), which when executed by a computer performs steps of: demarcating elements of a register transfer language (RTL) description, the elements including at least one of predetermined terms or expressions; identifying an NLA; 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.
11. A non-transitory computer-readable medium storing computer-executable instructions for processing natural language assertions (NLAs), which when executed by a computer performs steps of: demarcating elements of a register transfer language (RTL) description, the elements including at least one of predetermined terms or expressions; identifying an NLA; 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. 12. The computer-readable medium of claim 11 , further including back annotating results of the verification on the NLA.