Reliable verification using symbolic simulation with scalar values | IEEE Conference Publication | IEEE Xplore