發送短信 : System-on-chip (SoC) testing using adhoc high-level design for-testability method