From: Steven Sharp (sharp@cadence.com)
Date: Mon Sep 15 2003 - 11:43:52 PDT
Precedence: bulk
Well, section 15.1 now says:
"Although they begin with a $, timing checks are not system tasks. The
leading $ is present because of historical reasons, and timing checks
shall not be confused with system tasks. In particular, no system task
can appear in a specify block, and no timing check can appear in
procedural code."
After going to all the trouble to say that, I don't think it makes sense
to lump them in with system tasks in section 2.7.4. If they are going to
be mentioned in section 2, they should be distinguished from system tasks,
to be consistent with 15.1.
Steven Sharp
sharp@cadence.com
This archive was generated by hypermail 2.1.4
: Mon Sep 15 2003 - 10:55:44 PDT
and
sponsored by Boyd Technology, Inc.