[sv-bc] 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.