Patent 9646966 was granted and assigned to Synopsys on May, 2017 by the United States Patent and Trademark Office.