Patent 7417451 was granted and assigned to Synopsys on August, 2008 by the United States Patent and Trademark Office.