Patent 7251800 was granted and assigned to Synplicity on July, 2007 by the United States Patent and Trademark Office.