Suho Lee

发表

Unbounded Scalable Hardware Verification

Suho Lee, Suho Lee, 2016 .

Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction

Karem A. Sakallah, Suho Lee, K. Sakallah, 2014, CAV.