Travelled to:2 × France
2 × USA
Collaborated with:∅ P.Bjesse C.Pixley J.Jang G.D.Hachtel J.H.Kukula K.Ravi F.Somenzi
Talks about:sequenti (2) composit (2) combin (2) check (2) question (1) approach (1) abstract (1) without (1) equival (1) conjoin (1)
Person: In-Ho Moon
DBLP: Moon:In=Ho
Contributed to:
2008
200720002000Wrote 4 papers:
- DAC-2008-Moon #composition #optimisation #verification
- Compositional verification of retiming and sequential optimizations (IHM), pp. 131–136.
- DATE-2007-MoonBP #approach #composition #equivalence
- A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states (IHM, PB, CP), pp. 1170–1175.
- DAC-2000-MoonKRS #image
- To split or to conjoin: the question in image computation (IHM, JHK, KR, FS), pp. 23–28.
- DATE-2000-JangMH #model checking
- Iterative Abstraction-Based CTL Model Checking (JYJ, IHM, GDH), pp. 502–507.