3D-IC System Verification Methodology: Solutions and Challenges