Patents/Inventors

Yumi Monma

Belo HorizonteBR1 patent

2 Patents

US119413352024
Providing Concise Data for Analyzing Checker Completeness
Cadence Design Systems, Inc.
0 cites
US119284102024
Formal Analysis Methods for Debug Compilation
Cadence Design Systems, Inc.
0 cites