Yen-Sheng Ho

Efficient Abstraction and Refinement for Word-level Model Checking

Yen-Sheng Ho, 2017 .

Efficient uninterpreted function abstraction and refinement for word-level model checking

Robert K. Brayton, Alan Mishchenko, Pritam Roy, 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).

Property directed reachability with word-level abstraction

Robert K. Brayton, Alan Mishchenko, Yen-Sheng Ho, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).

Symbolic model checking on SystemC designs

Chun-Nan Chou, Chiao Hsieh, Chung-Yang Huang, 2012, DAC Design Automation Conference 2012.