Patent 7165234 was granted and assigned to Synopsys on January, 2007 by the United States Patent and Trademark Office.