Patent 7434188 was granted and assigned to Magma Design Automation on October, 2008 by the United States Patent and Trademark Office.