US9330215B2 - Method and System for Verifying the Design of an Integrated Circuit Having Multiple Tiers