Ensuring trust of third-party hardware design with constrained sequential equivalence checking | IEEE Conference Publication | IEEE Xplore