Chris, You are correct that the LRM is not explicit. In general, a missing constraint should be equivalent to an empty constraint block, hence, not an elaboration error. Arturo -----Original Message----- From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Chris Spear Sent: Thursday, December 13, 2007 5:24 AM To: sv-ec@eda.org Subject: [sv-ec] Undefined external constraint What is the proper behavior for an external constraint where the prototype is defined in the class, but the body is never defined? I assume this an elaboration error, but the 2008 D3 LRM does not explicitly address this scenario. Section 17.5.1 describes external constraints, but does not mention this case. Section 8.23 describes out of block declarations for methods, but does not mention constraints. Thanks! /********************************************************* Chris Spear Verification Specialist Synopsys, Inc. Phone 508-263-8114 .. __@ 377 Simarano Drive Fax 508-263-8123 _`\<,_ Marlboro, MA 01752 USA Cell 508-254-7223 .. (*)/ (*) Spear_ f rom _Synopsys.com http://Chris.Spear.net/systemverilog Author of "SystemVerilog for Verification" *********************************************************/ -- 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 Thu Dec 13 11:51:31 2007
This archive was generated by hypermail 2.1.8 : Thu Dec 13 2007 - 11:51:49 PST