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.
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. 5. The method of claim 4 , further including proceeding to the translating the NLA into the VLA using the NLP and synthesis techniques when the NLA does not match the one NLA in the set of NLAs.