Hi, I am sorry for the typo. correct example is : property p1; ............ endproperty property p2; .................. endproperty sequence s1; .............. endsequence property prop; @(posedge clk) s1 |-> ((p1) or (p2)); endproperty Thanks, -Soumya John Havlicek wrote: > Hi Soumya: > > Your example is a little confusing because you have two > declarations of "p1" and no declarations of the referenced > properties "prop1" and "prop2". But assuming that you > meant to declare "prop1" and "prop2" instead of "p1" and > "p1", then your code is legal. > > I cannot comment on what a specific tool does with this example. > > Best regards, > > John H. > > >> X-eda.org-MailScanner-Watermark: 1230288312.02654@Q3/PogUbkhj0KNJYdy6oaA >> X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f >> X-eda.org-MailScanner-Watermark: 1230288283.11124@KHH14Wf8VPBh2nR7tG8+Kg >> X-Authenticated-User: soumya.nusym.com >> Date: Fri, 19 Dec 2008 16:23:54 +0530 >> From: soumya <soumya@nusym.com> >> X-eda.org-MailScanner: Found to be clean, Found to be clean >> X-Spam-Status: No, No >> Sender: owner-sv-ac@eda.org >> X-eda.org-MailScanner-Information: Please contact the ISP for more information >> X-MailScanner-ID: mBJAj9qW001270 >> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org >> X-OriginalArrivalTime: 19 Dec 2008 10:56:57.0687 (UTC) FILETIME=[830E3670:01C961C8] >> >> This is a multi-part message in MIME format... >> >> ------------=_1229683860-25712-0 >> Content-Type: multipart/alternative; >> boundary="------------060503040105030302070503" >> >> This is a multi-part message in MIME format. >> --------------060503040105030302070503 >> Content-Type: text/plain; charset=ISO-8859-1; format=flowed >> Content-Transfer-Encoding: 7bit >> >> Hi, >> I have a quarry regarding usage of property instance in property >> expression. >> >> Please consider the example. >> >> property p1; >> ............ >> endproperty >> >> property p1; >> .................. >> endproperty >> >> sequence s1; >> .............. >> endsequence >> >> property prop; >> @(posedge clk) s1 |-> ((prop1) or (prop2)); >> endproperty >> >> One of the simulator giving error massage as : >> "*Illegal use of property name as a sequence or boolean expression.*" >> >> Where as other simulator is simulating successfully. >> >> I am confused here . >> >> I noticed the BNF of property Expression >> >> property_expr ::= >> | property_expr or property_expr >> | sequence_expr |-> property_expr >> | property_instance >> >> Please tell me what is the correct behavior. >> >> Thanks, >> -Soumya >> >> >> >> >> -- >> This message has been scanned for viruses and >> dangerous content by MailScanner, and is >> believed to be clean. >> > > > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Dec 22 21:43:13 2008
This archive was generated by hypermail 2.1.8 : Mon Dec 22 2008 - 21:43:59 PST