| 2008 |
|---|
| 11 | EE | In-Ho Moon:
Compositional verification of retiming and sequential optimizations.
DAC 2008: 131-136 |
| 2007 |
|---|
| 10 | EE | 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: 1170-1175 |
| 2004 |
|---|
| 9 | EE | In-Ho Moon,
Carl Pixley:
Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.
FMCAD 2004: 144-158 |
| 2002 |
|---|
| 8 | EE | In-Ho Moon,
Hee-Hwan Kwak,
James H. Kukula,
Thomas R. Shiple,
Carl Pixley:
Simplifying Circuits for Formal Verification Using Parametric Representation.
FMCAD 2002: 52-69 |
| 7 | EE | Hee-Hwan Kwak,
In-Ho Moon,
James H. Kukula,
Thomas R. Shiple:
Combinational equivalence checking through function transformation.
ICCAD 2002: 526-533 |
| 2000 |
|---|
| 6 | EE | In-Ho Moon,
James H. Kukula,
Kavita Ravi,
Fabio Somenzi:
To split or to conjoin: the question in image computation.
DAC 2000: 23-28 |
| 5 | EE | Jae-Young Jang,
In-Ho Moon,
Gary D. Hachtel:
Iterative Abstraction-Based CTL Model Checking.
DATE 2000: 502- |
| 4 | EE | In-Ho Moon,
Gary D. Hachtel,
Fabio Somenzi:
Border-Block Triangular Form and Conjunction Schedule in Image Computation.
FMCAD 2000: 73-90 |
| 1999 |
|---|
| 3 | EE | In-Ho Moon,
James H. Kukula,
Thomas R. Shiple,
Fabio Somenzi:
Least fixpoint approximations for reachability analysis.
ICCAD 1999: 41-44 |
| 1998 |
|---|
| 2 | EE | 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: 351-358 |
| 1997 |
|---|
| 1 | EE | Balakrishna Kumthekar,
In-Ho Moon,
Fabio Somenzi:
A symbolic algorithm for low-power sequential synthesis.
ISLPED 1997: 56-61 |
