Patent 7882461 was granted and assigned to Magma Design Automation on February, 2011 by the United States Patent and Trademark Office.