Patent Assignment
Reel/Frame 055188/0309
Assignment of Assignor's Interest
Recorded: 2021-02-08
Pages: 4
Assignee
SYNOPSYS, INC.
690 EAST MIDDLEFIELD ROAD, MOUNTAIN VIEW, CALIFORNIA, 94043
Covered Property
(1)
Accelerating Formal Property Verification Across Design Versions Using Sequential Equivalence Checking
Patent:
11,507,719 →
Application:
17/170,843 →