SAT Encoding-Based Verification of Sneak Path Problem in Via-Switch FPGA | IEEE Conference Publication | IEEE Xplore