Efficient verification of determinate speed-independent circuits | IEEE Conference Publication | IEEE Xplore