Patent Assignment
Reel/Frame 024467/0257
Assignment of Assignor's Interest
Recorded: 2010-06-01
Pages: 3
Assignor
KOELBL, ALFRED
Executed: 2010-05-04
Assignee
SYNOPSYS, INC.
700 E. MIDDLEFIELD ROAD, MOUNTAIN VIEW, CALIFORNIA, 94043
Covered Property
(1)
Formal Equivalence Checking Between Two Models of a Circuit Design Using Checkpoints