A formal approach to debug polynomial datapath designs | IEEE Conference Publication | IEEE Xplore