NO.012: How Fast Can You Run SLEC For Verifying Design Optimizations and Bug Fixes