Subject: RE: [sv-ac] Re: [sv-ec] Re: [sv-bc] RE: Review of BNF and Keywords by Dan Jacobi
From: David W. Smith (david.smith@synopsys.com)
Date: Fri Apr 11 2003 - 10:03:40 PDT
Hi Adam,
This is really a question for the AC committee on whether the want to
support this. At this point there has been no support for concurrent
assertions in the final block and it is far too late to consider it for 3.1.
Sounds like an issue to be considered during the next rev of SystemVerilog.
Regards
David
David W. Smith
Synopsys Scientist
Synopsys, Inc.
Synopsys Technology Park
2025 NW Cornelius Pass Road
Hillsboro, OR 97124
Voice: 503.547.6467
Main: 503.547.6000
FAX: 503.547.6906
Email: david.smith@synopsys.com
http://www.synopsys.com
-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Adam
Krolnik
Sent: Friday, April 11, 2003 7:47 AM
To: Dave Rich
Cc: David W. Smith; sv-ec@eda.org; sv-ac@eda.org; 'Stefen Boyd'
Subject: [sv-ac] Re: [sv-ec] Re: [sv-bc] RE: Review of BNF and Keywords by
Dan Jacobi
Good morning Dave;
Is it possible to have concurrent_assert_statments in final blocks?
I.e. function_statement does not allow it - although I would really like to
allow concurrent_assert_statements into both functions and final blocks.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Fri Apr 11 2003 - 10:03:11 PDT