In-ho Moon

2 Patents

• US124752852025

  Solving Multiple Array Problems Interacting with Each Other in Constraint Solving for Functional Verification of Logic Designs

  Synopsys, Inc.

  0 cites
• US116152252023

  Logic Simulation of Circuit Designs Using On-the-fly Bit Reduction for Constraint Solving

  Synopsys, Inc.

  0 cites