A verified platform for a gate-level electronic control unit | IEEE Conference Publication | IEEE Xplore