Patent Assignment
Reel/Frame 026387/0584
Assignment of Assignor's Interest
Recorded: 2011-06-03
Pages: 3
Assignee
SYNOPSYS, INC.
700 E. MIDDLEFIELD ROAD, MOUNTAIN VIEW, CALIFORNIA, 94043
Covered Property
(1)
Performing Implication and Decision Making Using Multiple Value Systems During Constraint Solving