Patents/Inventors

Robert Lowell Kanzelman

Rochester, MNUS1 patent

2 Patents

US124752872025
Equivalence Checking of Synthesized Logic Designs Using Generated Synthesis History
International Business Machines Corporation
0 cites
US119221302024
Optimization of Arithmetic Expressions
International Business Machines Corporation
0 cites