Patent 7983093 was granted and assigned to Synopsys on July, 2011 by the United States Patent and Trademark Office.