Patent 7231538 was granted and assigned to Mentor Graphics on June, 2007 by the United States Patent and Trademark Office.