The use of correct-by-design code generation reduces the effort required for verification. Once the P4 code functionality has been verified using the P4 behavioral model, you can have confidence that the design intent in the form of P4 is properly converted into a working design ready for deployment in the FPGA or adaptive SoC.