In-Ho Moon

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification.
Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, 2013

2010
Learning from Constraints for Formal Property Checking.
J. Electron. Test., 2010

2008
Compositional verification of retiming and sequential optimizations.
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.
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.
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.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2002
Combinational equivalence checking through function transformation.
Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Simplifying Circuits for Formal Verification Using Parametric Representation.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2000
Border-Block Triangular Form and Conjunction Schedule in Image Computation.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Iterative Abstraction-Based CTL Model Checking.
Proceedings of the 2000 Design, 2000

To split or to conjoin: the question in image computation.
Proceedings of the 37th Conference on Design Automation, 2000

1999
Least fixpoint approximations for reachability analysis.
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1998
Approximate reachability don't cares for CTL model checking.
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

1997
A symbolic algorithm for low-power sequential synthesis.
Proceedings of the 1997 International Symposium on Low Power Electronics and Design, 1997


  Loading...