Patents/Inventors

Alexander Ivrii

HaifaIL1 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