PARK HYEONMAN

System, method, and computer-readable storage medium for system-on-chip verification