Assignment of Assignor's Interest

Recorded: 2021-03-25 Pages: 3

Assignors

ABO FOUL, AHMAD S.

Executed: 2021-03-24

LUNDGREN, LARS

Executed: 2021-03-25

HJORT, BJÖRN HÅKAN

Executed: 2021-03-25

FARAH, HABEEB

Executed: 2021-03-23

Assignee

CADENCE DESIGN SYSTEMS, INC.

2655 SEELY AVENUE, SAN JOSE, CALIFORNIA, 95134

Covered Property (1)

System and Method for Assertion-Based Formal Verification Using Cached Metadata

Patent: 11,514,219 →

Application: 17/212,150 →