Model Checker to FPGA Prototype Commmunication Bottleneck Issue | IEEE Conference Publication | IEEE Xplore