Assertion for walking 1's

[user49]

In reply to MICRO_91:

1. BAD STYLE because it relies on SV regions
2. Not applicable to formal
3. Difficult to follow and to apply to requirements
4. A good example of what NOT TO DO IN SVA!

Ben