NO.012: How Fast Can You Run SLEC For Verifying Design Optimizations and Bug Fixes Author(s): Jin Hou Wenli Liang, and Lina Guo Download