A Reusable, Scalable Formal App for Verifying Any Configuration of 3D IC Connectivity

Author(s):
Daniel Han, Walter Sze, Benjamin Ting, and Darrow Chu
Location:
United States
Year:
2013
Type:
Paper
Format:
pdf