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