Heon-Mo Koo

According to our database, Heon-Mo Koo authored at least 6 papers between 2005 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Functional test generation using design and property decomposition techniques.

Heon-Mo Koo, Prabhat Mishra

ACM Trans. Embed. Comput. Syst., 2009

2008

Specification-based compaction of directed tests for functional validation of pipelined processors.

Heon-Mo Koo, Prabhat Mishra

Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2006

Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study.

Heon-Mo Koo, Prabhat Mishra, Jayanta Bhadra, Magdy S. Abadir

Proceedings of the Seventh International Workshop on Microprocessor Test and Verification (MTV 2006), 2006

Test generation using SAT-based bounded model checking for validation of pipelined processors.

Heon-Mo Koo, Prabhat Mishra

Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30, 2006

Functional test generation using property decompositions for validation of pipelined processors.

Heon-Mo Koo, Prabhat Mishra

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Language-driven Validation of Pipelined Processors using Satisfiability Solvers.

Prabhat Mishra, Heon-Mo Koo, Zhuo Huang

Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005