【计】 processor verification
【计】 processsor
test and verify【计】 proofness; proving; validate; verification; verify check; verifying【化】 proof; verification【经】 examine