[sv-ec] opinions on $exit

From: Rich, Dave <Dave_Rich_at_.....>
Date: Thu Mar 09 2006 - 11:21:10 PST
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
Received on Thu Mar 9 11:21:27 2006

This archive was generated by hypermail 2.1.8 : Thu Mar 09 2006 - 11:23:17 PST