DUDES: a fault abstraction and collapsing framework for asynchronous circuits | IEEE Conference Publication | IEEE Xplore