[sv-bc] RE: [sv-ac] New keywords in SV-AC proposals

Stu,
the function $next_gclk is really $future_gclk.

ed


> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Stuart
> Sutherland
> Sent: Monday, March 10, 2008 5:07 PM
> To: sv-bc@eda.org; sv-ec@eda.org; sv-cc@eda.org; sv-ac@eda.org
> Subject: [sv-ac] New keywords in SV-AC proposals
> 
> If it helps, I have culled the new keywords, operators, and system
> task/functions in the assertions proposals under consideration for
P1800
> (several of these proposals are already approved to be added in draft
5,
> and
> a couple are already in draft 4).  I cannot guarantee I have found
every
> new
> keyword, but I tried...
> 
> accept_on            (Mantis 1757)
> always_check         (Mantis 1900)
> checker              (Mantis 1900)
> checkvar             (Mantis 1900)
> endchecker           (Mantis 1900)
> eventually           (Mantis 1932)
> free                 (Mantis 1900)
> global               (Mantis 1681)
> implies              (Mantis 1932)
> initial_check        (Mantis 1900)
> let                  (Mantis 1728)
> next                 (Mantis 1932)
> reject_on            (Mantis 1757)
> restrict             (Mantis 1806)
> s_always             (Mantis 1932)
> s_eventually         (Mantis 1932)
> s_next               (Mantis 1932)
> s_until              (Mantis 1932)
> s_until_with         (Mantis 1932)
> strong               (Mantis 1932)
> sync_accept_on       (Mantis 2100)
> sync_reject_on       (Mantis 2100)
> until                (Mantis 1932)
> until_with           (Mantis 1932)
> untyped              (Mantis 1601)
> weak                 (Mantis 1932)
> 
> ->                   (Mantis 1758) (same as Verilog's -> event trigger
> operator)
> <->                  (Mantis 1758)
> #-#                  (Mantis 1932)
> #=#                  (Mantis 1932)
> 
> $changed             (Mantis 1677)
> $changed_gclk        (Mantis 1682)
> $changing_gclk       (Mantis 1682)
> $falling_gclk        (Mantis 1682)
> $fell_gclk           (Mantis 1682)
> $future_gclk         (Mantis 1682)
> $inferred_clock      (Mantis 1674) (also spelled "$inferred_clk" in
Mantis
> 1674)
> $inferred_disable    (Mantis 1674)
> $inferred_enable     (Mantis 1674)
> $past_gclk           (Mantis 1682)
> $rising_gclk         (Mantis 1682)
> $rose_gclk           (Mantis 1682)
> $stable_gclk         (Mantis 1682)
> $steady_gclk         (Mantis 1682)
> 
> $assertpasson        (Mantis 1361)
> $assertpassoff       (Mantis 1361)
> $assertfailon        (Mantis 1361)
> $assertfailoff       (Mantis 1361)
> $assertnonvacuouson  (Mantis 1361)
> $assertvacuousoff    (Mantis 1361)
> 
> 
> Dmitry's slides also mention $next_gclk.  I could not find this in any
> Mantis proposals.
> 
> 
> 
> Stu
> ~~~~~~~~~~~~~~~~~~~~~~~~~
> Stuart Sutherland
> stuart@sutherland-hdl.com
> +1-503-692-0898
> 
> 
> 
> --
> 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.