[sv-ac] Updated assertions LRM Draft - 3/26/03
Subject: [sv-ac] Updated assertions LRM Draft - 3/26/03
From: Stephen Meier (Stephen.Meier@synopsys.com)
Date: Wed Mar 26 2003 - 14:58:07 PST
Hello SV-AC:
In an effort to help document current status and reflect updated syntax I
am
distributing the current draft of the assertion LRM (draft 1).
Updates include:
- - reflects all SVAC 3/24 approved ballot items
- - ASWG syntax
- - scheduling semantics terminology reflected in Section 1.4
- - local variable flow description included
- - expanded section 12.2 on embedding in procedural code based on
slides to SV-AC
Note that this LRM is still not complete and specifically is missing
the following
sections:
1)
Multi-clock detailed description
2) New
template changes
3) DAS
system functions inclusion
4) matched
operator detailed description
Given amount of change to document we expect errors and would appreciate
the
SV-AC's patience and support to review and improve the
document.
Steve
Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476, Cell:
408-393-8246
This archive was generated by hypermail 2b28
: Wed Mar 26 2003 - 15:01:18 PST