Design Experience of a Chip Multiprocessor Merlot and Expectation to Functional Verification