[sv-bc] RE: Time consuming tasks in always_ff

We want to allow tasks in checkers, e.g. $display for debug or information purposes. This enhancement is straightforward in case the task is not time consuming, hence my question.

Thanks,
Dmitry

From: Maidment, Matthew R
Sent: Tuesday, July 19, 2011 18:19
To: Korchemny, Dmitry; 'sv-bc (sv-bc@eda.org)'
Cc: sv-ac@eda-stds.org
Subject: RE: Time consuming tasks in always_ff

The LRM states the intent:

The always_ff procedure can be used to model synthesizable sequential logic behavior

Your question seems to imply that you want to deviate from this or exploit a loophole for your interests.

What is the motivation for the question?

Matt

--
Matt Maidment
mmaidmen@ichips.intel.com<mailto:mmaidmen@ichips.intel.com>
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Tuesday, July 19, 2011 4:20 AM
To: 'sv-bc (sv-bc@eda.org)'
Cc: sv-ac@eda-stds.org
Subject: [sv-ac] Time consuming tasks in always_ff
Hi all,
In 9.2.2.4 it is written that "The always_ff procedure imposes the restriction that it contains one and only one event control and no blocking timing controls." However, it is not written explicitly that there cannot be calls to task with such event controls. How should I interpret this statement?
Thanks,
Dmitry
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.