Patent 7807523 was granted and assigned to Synopsys on October, 2010 by the United States Patent and Trademark Office.