An Improved AVPG Algorithm for SoC Design Verification Using Port Order Fault Model