( en | de | ru )

 

Disambiguation of "Moon, In-Ho"

Author of the publication

copydeleteadd this publication to your clipboard
Combinational equivalence checking through function transformation.

, , , and . ICCAD, page 526-533. ACM / IEEE Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

In-Hyung Moon

Moon-Ho Kim

Moon-Ho Rhee

Moon-Hyuck Ho

Moon-Ho Song

 

Other publications of authors with the same name

Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders., and . FMCAD, volume 3312 of Lecture Notes in Computer Science, page 144-158. Springer, (2004)Compositional verification of retiming and sequential optimizations.. DAC, page 131-136. ACM, (2008)To split or to conjoin: the question in image computation., , , and . DAC, page 23-28. ACM, (2000)Combinational equivalence checking through function transformation., , , and . ICCAD, page 526-533. ACM / IEEE Computer Society, (2002)Learning from Constraints for Formal Property Checking., and . J. Electron. Test., 26 (2): 243-259 (2010)A symbolic algorithm for low-power sequential synthesis., , and . ISLPED, page 56-61. ACM, (1997)Abstraction-Based Livelock/Deadlock Checking for Hardware Verification., and . DIFTS@FMCAD, volume 1130 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Simplifying Circuits for Formal Verification Using Parametric Representation., , , , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 52-69. Springer, (2002)Learning from constraints for formal property checking., and . HLDVT, page 38-45. IEEE Computer Society, (2009)Iterative Abstraction-Based CTL Model Checking., , and . DATE, page 502-507. IEEE Computer Society / ACM, (2000)