Verification of streaming designs by combining symbolic simulation and equivalence checking | IEEE Conference Publication | IEEE Xplore