NO.012: How Fast Can You Run SLEC For Verifying Design Optimizations and Bug Fixes Author(s): Jin Hou Wenli Liang, and Lina Guo Location: China Year: 2021 Type: Poster Format: pdf Download