Re: [$ieee-1850] Assertion-Control System Tasks

Steve,
I feel that they should be standard and callable from within a design
or testbench. SystemVerilog has them, and those assertion controls
help in eliminating the need for the "abort" construct when a user
knows from within the testbench when assertions should be checked.
For interoperability, it is important that they be standardized.
Ben Cohen

On Sat, 13 Nov 2004 18:09:50 -0800, Bailey, Stephen <sbailey@model.com> wrote:
> Hi Ben,
>
> Let me add that the only question is whether or not these functions will
> be standard and callable from the design or testbench code. I expect
> all vendors to supply the ability in their tools via at least the
> simulator's command line.
>
> -Steve Bailey
>
>
>
> > -----Original Message-----
> > From: owner-ieee-1850@eda.org
> > [mailto:owner-ieee-1850@eda.org] On Behalf Of ben cohen
> > Sent: Friday, November 12, 2004 4:00 PM
> > To: ieee-1850@eda.org
> > Subject: [$ieee-1850] Assertion-Control System Tasks
> >
> > SystemVerilog Assertions has Assertion-Control System Tasks
> > to enable / disable the turning ON /OFF of assertions. This
> > is very useful.
> > PSL does not have that feature.
> > Do we want to add this feature?
> >
> > In SystemVerilog:
> > assert_control_task ::= assert_task [ ( levels [ ,
> > list_of_modules_or_assertions ] ) ] ;
> > assert_task ::=
> > $asserton
> > | $assertoff
> > | $assertkill
> >
> >
> > --------------------------------------------------------------
> > ------------
> > Ben Cohen Trainer, Consultant, Publisher (310) 721-4830
> > http://www.vhdlcohen.com/ vhdlcohen@aol.com Upcoming book:
> > SystemVerilog Assertions Handbook, ISBN 0-9705394-7-9
> >
> > Author of following textbooks:
> > * Using PSL/SUGAR for Formal and Dynamic Verification 2nd Edition,
> > 2004 isbn 0-9705394-6-0
> > * Real Chip Design and Verification Using Verilog and VHDL, 2002 isbn
> > 0-9705394-2-8
> > * Component Design by Example ", 2001 isbn 0-9705394-0-1
> > * VHDL Coding Styles and Methodologies, 2nd Edition, 1999
> > isbn 0-7923-8474-1
> > * VHDL Answers to Frequently Asked Questions, 2nd Edition,
> > isbn 0-7923-8115
> > --------------------------------------------------------------
Received on Sat Nov 13 18:18:09 2004