A Reusable, Scalable Formal App for Verifying Any Configuration of 3D IC Connectivity Author(s): Daniel Han, Walter Sze, Benjamin Ting, and Darrow Chu Download