In reply to divyadm:
For detecting stuck at ‘1’ and stuck at ‘0’, doing an exhaustive walking1 and walking 0 pattern in code coverage would help. This link might help you.
http://www.amiq.com/consulting/2015/09/18/functional-coverage-patterns-bitwise-coverage/