In-Ho Moon

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