Publications

Ph. D. Thesis
Efficient Reachability Algorithms in Symbolic Model Checking.

---

In-Ho Moon, Hee Hwan Kwak, Tom Shiple, James Kukula, Carl Pixley
Simplifying Circuits for Formal Verification Using Parametric Representation.
Formal Methods in Computer Aided Design, Portland, OR, November 6-8, 2002.

Hee Hwan Kwak, In-Ho Moon, Tom Shiple, James Kukula
Combinational Equivalence Checking through Function Transformation.
International Conference on Computer Aided Design, San Jose, CA, November 10-14, 2002.

In-Ho Moon, Gary Hachtel, Fabio Somenzi
Border-Block Triangular Form and Conjunction Schedule in Image Computation.
Formal Methods in Computer Aided Design, Austin, TX, November 1-3, 2000.

Roderick Bloem, In-Ho Moon, Kavita Ravi, Fabio Somenzi
Approximations for Fixpoint Computations in Symbolic Model Checking.
Systemics, Cybernetics and Informatics, Orlando, FL, July 23-26, 2000.
(Invited Paper)

In-Ho Moon, James Kukula, Kavita Ravi, Fabio Somenzi
To split or to Conjoin: The Question in Image Computation.
Design Automation Conference, Los Angeles, CA, June 5-9, 2000.
(Best Paper Award) Powerpoint slides

Jae-Young Jang, In-Ho Moon, Gary Hachtel
Iterative Abstraction-based CTL Model Checking.
Design, Automation & Test In Europe, Paris, France, March 27-30, 2000.

In-Ho Moon, James Kukula, Tom Shiple, Fabio Somenzi
Least Fixpoint Approximations for Reachability Analysis.
International Conference on Computer Aided Design, San Jose, CA, November 7-11, 1999.

In-Ho Moon, James Kukula, Tom Shiple, Fabio Somenzi
Least Fixpoint MBM: Improved Technique for Approximate Reachability.
International Workshop on Logic Synthesis , Lake Tahoe, CA, June 27-30, 1999

Jae-Young Jang, In-Ho Moon, Gary Hachtel
Iterative Verification Techniques for CTL Model Checking.
International Workshop on Logic Synthesis , Lake Tahoe, CA, June 27-30, 1999

In-Ho Moon, Jae-Young Jang, Gary Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley
Approximate Reachability Don't Cares for CTL Model Checking.
International Conference on Computer Aided Design, San Jose, CA, November 8-12, 1998.

Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi
A Symbolic Algorithm For Low Power Sequential Synthesis.
International Symposium on Low Power Electronics and Design, Monterey, CA, August 18-20, 1997.

Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi
A Symbolic Algorithm For Low Power Sequential Synthesis.
International Workshop on Logic Synthesis, Lake Tahoe, CA, May 18-21, 1997.

In-Ho Moon, Y.J. Lee, S.Y. Hwang
Symbolic Extraction from Hierarchical Layout of Arbitrary Shape.
International Conference on VLSI and CAD, Seoul, Korea, October, 1991.

Y.J. Lee, In-Ho Moon, S.Y. Hwang
A Logic/Timimg Extractor from Transistor Schematic.
International Conference on VLSI and CAD, Seoul, Korea, October, 1991.