Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip