Conditional signal assignment or process statement

A

Andy

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
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Members online

No members online now.

Forum statistics

Threads
473,743
Messages
2,569,478
Members
44,899
Latest member
RodneyMcAu

Latest Threads

Top