Patent 7882461 was granted and assigned to Magma Design Automation on February, 2011 by the United States Patent and Trademark Office.
Currently, there are no issues on this topic. Create one.