Here is an alternative and effective way to code assertions and functional coverage, and overcome the illustrated challenges.