12.8 Tutorial: An Industry Approach to FPGA/ARM System Development and Verification