On the (non-)resetability of synchronous sequential circuits.

Martin Keim, Bernd Becker, Birgitta Stenner

Browse the full VTS paper archive.