RE: [sv-ac] rules for concurrent assertion clock in procedural code - tasks

I am for ignoring all tasks in the always procedure for this purpose. But it should, of course, be discussed and well understood.

Dmitry

-----Original Message-----
From: Daniel Mlynek [mailto:daniel.mlynek@aldec.com]
Sent: Thursday, July 02, 2009 10:49 AM
To: Korchemny, Dmitry; sv-ac@server.eda.org
Cc: 'Wojtek Filip'
Subject: RE: [sv-ac] rules for concurrent assertion clock in procedural code - tasks

I meant user defined task like ie :
task T;
        @(posedge clk) a<='1; //will this clock be infered by assertion
placed in always procedure where task T is called?
endtask

Exactly - it should be defined - ie if there is "user task call in procedure
then clock is not infered" or "task calls in procedure are ignored for clock
inference rules"


DANiel

-----Original Message-----
From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: 2 lipca 2009 09:40
To: Daniel Mlynek; sv-ac@server.eda.org
Subject: RE: [sv-ac] rules for concurrent assertion clock in procedural code
- tasks

As somebody mentioned the main reason of the clock inference rules is not to
infer the reset instead of the clock to preserve synthesis "semantics". When
you have tasks in your always procedure then either they are not relevant
for synthesis like $display, or the whole thing is "non-synthesizable". In
this case the exact clock inference convention does not really matter, it
just needs to be well-defined.

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Daniel Mlynek
Sent: Thursday, July 02, 2009 10:29 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] rules for concurrent assertion clock in procedural code -
tasks


There is one more ambiguity in the description which imho need to be
addresed - how all those rules for clock inference should work when tasks
are used inside always/initial procedure.
Compiler should check what is inside a task to see which rule should apply
or finish checking rules on task call assuming that there is nothing
interesting inside  a task?

DANiel


--
This message has been scanned for viruses and dangerous content by
MailScanner, 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.

---------------------------------------------------------------------
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.