Patent Assignment
Reel/Frame 025701/0277
Assignment of Assignor's Interest
Recorded: 2011-01-26
Pages: 6
Assignors
HUNG, NGAI NGAI WILLIAM
Executed: 2010-12-10
QIANG, QIANG
Executed: 2010-12-10
MATURANA, GUILLERMO R.
Executed: 2010-12-13
SINGH, JASVINDER
Executed: 2010-12-10
GOSWAMI, DHIRAJ
Executed: 2010-12-13
Assignee
SYNOPSYS, INC.
700 E. MIDDLEFIELD ROAD, MOUNTAIN VIEW, CALIFORNIA, 94043
Covered Property
(1)
Optimizing Constraint Solving by Rewriting at Least One Modulo Constraint