Practicality of state-machine verification of speed-independent circuits | IEEE Conference Publication | IEEE Xplore