US12524322B2 - System, Method, and Computer-Readable Storage Medium for System-on-Chip Verification