High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design