SPOT: Fast and Optimal Built-In Redundancy Analysis Using Smart Potential Case Collection | IEEE Journals & Magazine | IEEE Xplore