Automated Field-based Decomposition to Accelerate Model Checking FPGA-based TCP/IP | IEEE Conference Publication | IEEE Xplore