But, LRM will not permit. So is LRM going to be modified? Is there any mantis against that? Regards Surya -------- Original Message -------- Subject: Re:[sv-ec] Nested class constraint declaration From: Rich, Dave <Dave_Rich@mentor.com> To: Surya Pratik Saha <spsaha@cal.interrasystems.com>, sv-ec@eda.org Date: Monday, July 21, 2008 9:37:10 PM > As long as the constraint is defined before the end of the scope where > the extern declaration appears, it should be legal. > > >> -----Original Message----- >> From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] >> > On > >> Behalf Of Surya Pratik Saha >> Sent: Monday, July 21, 2008 5:34 AM >> To: sv-ec@server.eda.org; sv-bc@server.eda.org >> Subject: [sv-ec] Nested class constraint declaration >> >> Hi, >> As per SV 1800-2005 LRM, extern class constraint declaration is >> > allowed > >> outside the class scope. But what will happen for nested class. LRM >> > does > >> not give provision for that. Please let me know whether the following >> case is valid or not? >> >> module top; >> class D; >> class C; >> constraint tc3; >> endclass >> rand int x; >> constraint C::tc3 {solve x before x;} >> endclass >> endmodule >> >> -- >> Regards >> Surya >> >> >> >> >> -- >> 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 Jul 21 21:07:01 2008
This archive was generated by hypermail 2.1.8 : Mon Jul 21 2008 - 21:07:43 PDT