Heon-Mo Koo

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Heon-Mo Koo, Prabhat Mishra
Functional test generation using design and property decomposition techniques. ACM Trans. Embed. Comput. Syst. 8 (4) (2009)
Heon-Mo Koo, Prabhat Mishra
Specification-based compaction of directed tests for functional validation of pipelined processors. CODES+ISSS (2008)
Heon-Mo Koo, Prabhat Mishra
Test generation using SAT-based bounded model checking for validation of pipelined processors. ACM Great Lakes Symposium on VLSI (2006)
Heon-Mo Koo, Prabhat Mishra
Functional test generation using property decompositions for validation of pipelined processors. DATE (2006)
Heon-Mo Koo, Prabhat Mishra, Jayanta Bhadra, Magdy S. Abadir
Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study. MTV (2006)
Prabhat Mishra, Heon-Mo Koo, Zhuo Huang
Language-driven Validation of Pipelined Processors using Satisfiability Solvers. MTV (2005)