In-Ho Moon

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Hardware Designs

Software Implementation

Bounded Model Checking

Top Venues

Publications

In-Ho Moon, Kevin Harer
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification. DIFTS@FMCAD (2013)
In-Ho Moon, Kevin Harer
Learning from Constraints for Formal Property Checking. J. Electron. Test. 26 (2) (2010)
In-Ho Moon, Kevin Harer
Learning from constraints for formal property checking. HLDVT (2009)
In-Ho Moon
Compositional verification of retiming and sequential optimizations. DAC (2008)
In-Ho Moon, Per Bjesse, Carl Pixley
A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states. DATE (2007)
In-Ho Moon, Per Bjesse, Carl Pixley
Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces. HLDVT (2006)
In-Ho Moon, Carl Pixley
Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders. FMCAD (2004)
In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley
Simplifying Circuits for Formal Verification Using Parametric Representation. FMCAD (2002)
Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple
Combinational equivalence checking through function transformation. ICCAD (2002)
In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi
To split or to conjoin: the question in image computation. DAC (2000)
Jae-Young Jang, In-Ho Moon, Gary D. Hachtel
Iterative Abstraction-Based CTL Model Checking. DATE (2000)
In-Ho Moon, Gary D. Hachtel, Fabio Somenzi
Border-Block Triangular Form and Conjunction Schedule in Image Computation. FMCAD (2000)
In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi
Least fixpoint approximations for reachability analysis. ICCAD (1999)
In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley
Approximate reachability don't cares for CTL model checking. ICCAD (1998)
Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi
A symbolic algorithm for low-power sequential synthesis. ISLPED (1997)