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