Patent 7703050 was granted and assigned to Magma Design Automation on April, 2010 by the United States Patent and Trademark Office.