Patent Assignment
Reel/Frame 045902/0410
Assignment of Assignor's Interest
Recorded: 2018-05-25
Pages: 4
Assignors
REZENDE BARBOSA, LUIS HUMBERTO
Executed: 2018-05-23
DOS SANTOS PEREIRA, RAQUEL LARA
Executed: 2018-05-24
FURTADO, CAIO ALVES
Executed: 2018-05-24
DIAS VITORINO, BRENO AUGUSTO
Executed: 2018-05-24
CREPALDE, MIRLAINE APARECIDA
Executed: 2018-05-24
DA SILVA MANTINI VIANA, RODRIGO
Executed: 2018-05-24
PRATES, LUCAS DUARTE
Executed: 2018-05-24
Assignee
CADENCE DESIGN SYSTEMS, INC.
2655 SEELY AVENUE, SAN JOSE, CALIFORNIA, 95134
Covered Property
(1)
System, Method, and Computer Program Product for Over-Constraint/Deadcode Detection in a Formal Verification
Patent:
10,706,195 →
Application:
15/989,469 →