RE: [sv-ec] opinions on $exit

Here's my two cents:

 

Is $exit allowed to appear outside a program block? 

            No, but perhaps in a package (e.g. in a class method)

 

What if program block calls a task in another program that has a $exit;
which program block gets exited?

            I like your proposal that the program from which the call
initiated exits.

 

    Arturo

 

________________________________

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Rich, Dave
Sent: Thursday, March 09, 2006 11:21 AM
To: sv-ec@eda.org
Subject: [sv-ec] opinions on $exit

 

Some questions that need answering:

 

Is $exit allowed to appear outside a program block? 

What if program block calls a task in another program that has a $exit;
which program block gets exited?

 

My proposed answer is that $exit is attached to the tread that executes
it, so the program block that contains its root thread gets exited. If
the thread is not from a program block, it should be a NOP, or a warning
message could be issued.

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625