In-Ho Moon

According to our database, In-Ho Moon authored at least 14 papers between 1997 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Abstraction-Based Livelock/Deadlock Checking for Hardware Verification.

In-Ho Moon, Kevin Harer

Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, 2013

2010

Learning from Constraints for Formal Property Checking.

In-Ho Moon, Kevin Harer

J. Electron. Test., 2010

2008

Compositional verification of retiming and sequential optimizations.

In-Ho Moon

Proceedings of the 45th Design Automation Conference, 2008

2007

A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states.

In-Ho Moon, Per Bjesse, Carl Pixley

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces.

In-Ho Moon, Per Bjesse, Carl Pixley

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2004

Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.

In-Ho Moon, Carl Pixley

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2002

Combinational equivalence checking through function transformation.

Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Simplifying Circuits for Formal Verification Using Parametric Representation.

In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2000

Border-Block Triangular Form and Conjunction Schedule in Image Computation.

In-Ho Moon, Gary D. Hachtel, Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Iterative Abstraction-Based CTL Model Checking.

Jae-Young Jang, In-Ho Moon, Gary D. Hachtel

Proceedings of the 2000 Design, 2000

To split or to conjoin: the question in image computation.

In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi

Proceedings of the 37th Conference on Design Automation, 2000

1999

Least fixpoint approximations for reachability analysis.

In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1998

Approximate reachability don't cares for CTL model checking.

In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

1997

A symbolic algorithm for low-power sequential synthesis.

Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi

Proceedings of the 1997 International Symposium on Low Power Electronics and Design, 1997