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