Patent 10055533 was granted and assigned to Mentor Graphics on August, 2018 by the United States Patent and Trademark Office.
Currently, there are no issues on this topic. Create one.