Formal verification of an industrial system-on-a-chip | IEEE Conference Publication | IEEE Xplore