«

On Apr 20, 9:49*pm, KJ <kkjenni...@sbcglobal.net> wrote:
>
> On the other hand, if you don't develop any reusable widgets, it
> probably doesn't matter where you put your assertions.
>
> Kevin Jennings

It is much easier to control the conditions under which an assertion
is evaluated when the assertion is inserted into the design (RTL)
code. A single concurrent assertion statement can make sure something
allways/never happens. Strategically placing a sequential assertion
statement inside an existing branch of the code allows specifically
targeting that part of the code. And it is easier to access local
variables/signals from within their scope.

On the other hand, RTL assertions don't do much good when verifying
the gate level model!

Andy