Design and Verification Techniques for state-of-the-art FPGA/IP/SoC Industrial Products