Professional Documents
Culture Documents
Appendix C
Revision 1.0
Version 21.10
Appendix Objective
In this appendix, you
● Identify the features of programs for verification code
Active
Observed
Reactive
Postponed
6 © Cadence Design Systems, Inc. All rights reserved. To next time slot
Program Block: $exit System Task
● You can call $exit only from a program. program test1;
● Terminates all processes in the current program. ...
▪ Initial blocks and their subprocesses.
initial begin
...
▪ Not continuous assignments.
if (timeout_error)
▪ Not tasks called from other programs. $exit();
● Also called implicitly after all initial blocks in a program ...
are complete. endprogram : test1
▪ In other words, they have executed their last statement.
● $finish is called when all program blocks have exited.
p1 p2
▪ Either explicitly through $exit or normally (implicit $exit).
exit
exit
finish