Patent 11842134 was granted and assigned to Synopsys on December, 2023 by the United States Patent and Trademark Office.