Patent 9003166 was granted and assigned to Synopsys on April, 2015 by the United States Patent and Trademark Office.