ASIC-in-the-loop methodology for verification of piecewise affine controllers | IEEE Conference Publication | IEEE Xplore