Learning from constraints for formal property checking
In-Ho Moon, Harer, K.
Published in 2009 IEEE International High Level Design Validation and Test Workshop (01.11.2009)
Published in 2009 IEEE International High Level Design Validation and Test Workshop (01.11.2009)
Get full text
Conference Proceeding
Evaluation of a Wafer Transportation Speed for Propulsion Nozzle Array on Air Levitation System
MOON, In-Ho, HWANG, Young-Kyu
Published in Journal of mechanical science and technology (01.09.2006)
Published in Journal of mechanical science and technology (01.09.2006)
Get full text
Journal Article
Evaluation of a Wafer Transportation Speed for Propulsion Nozzle Array on Air Levitation System
Moon, In-Ho, Hwang, Young-Kyu
Published in Journal of mechanical science and technology (01.09.2006)
Get full text
Published in Journal of mechanical science and technology (01.09.2006)
Journal Article
Compositional verification of retiming and sequential optimizations
Get full text
Conference Proceeding
Least fixpoint approximations for reachability analysis
In-Ho Moon, Kakula, J., Shiple, T., Somenzi, F.
Published in 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) (1999)
Published in 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) (1999)
Get full text
Conference Proceeding
Journal Article
Approximate reachability don't cares for CTL model checking
Moon, In-Ho, Jang, Jae-Young, Hachtel, Gary D., Somenzi, Fabio, Yuan, Jun, Pixley, Carl
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (01.11.1998)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (01.11.1998)
Get full text
Conference Proceeding
Journal Article
Combinational equivalence checking through function transformation
Kwak, Hee Hwan, Moon, In-Ho, Kukula, James H., Shiple, Thomas R.
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (10.11.2002)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (10.11.2002)
Get full text
Conference Proceeding
A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states
Moon, In-Ho, Bjesse, Per, Pixley, Carl
Published in Proceedings of the conference on Design, automation and test in Europe (16.04.2007)
Published in Proceedings of the conference on Design, automation and test in Europe (16.04.2007)
Get full text
Conference Proceeding
A symbolic algorithm for low-power sequential synthesis
Kumthekar, Balakrishna, Moon, In-Ho, Somenzi, Fabio
Published in International Symposium on Low Power Electronics and Design: Proceedings of the 1997 international symposium on Low power electronics and design; 18-20 Aug. 1997 (01.08.1997)
Published in International Symposium on Low Power Electronics and Design: Proceedings of the 1997 international symposium on Low power electronics and design; 18-20 Aug. 1997 (01.08.1997)
Get full text
Conference Proceeding