Functional Verification of SiCortex Multiprocessor System-on-a-Chip