Patent 9378000 was granted and assigned to Synopsys on June, 2016 by the United States Patent and Trademark Office.