On the (non-)resetability of synchronous sequential circuits | IEEE Conference Publication | IEEE Xplore