[sv-cc] Assertion API - index

Subject: [sv-cc] Assertion API - index
From: Michael Rohleder (michael.rohleder@motorola.com)
Date: Fri Jan 30 2004 - 09:37:41 PST

Hi all,

here is my part of the index.

All references are related to Draft 3,
single numbers are page numbers (paper numbers, no PDF)
section numbers have dots (suggest to anchor them to section header)
I assume there is a two level index capability like in Frame, second level is marked by using a comma. I did not index all vpi...
variables. This is overwhelming and useless in my eyes. Instead, I have defined two entries cbAssertion... and vpiAssertion... as a
sort of generic reference for people having just the printed copy (otherwise I will anyway use the search capability ...)

A
Assertion API 28.
assertion attempt 376, 377
assertion callbacks 372, 28.2.3
assertion callbacks, system 28.4.1
assertion callbacks, placing 28.4.2
assertion control 28.2.4
assertion control, functions 28.5
assertion control, stepping 372
assertion control, system 372
assertion handle 375, 28.3.1
assertion information, static 28.3.2
assertion information, dynamic 28.4
assertion object property 371
assertion object type 371
assertion object type, Sequence 374
assertion object type, Assert 374
assertion object type, Cover 374
assertion object type, Property 374
assertion object type, ImmediateAssert 374
assertion step 372
assertion step, callback 377
C
Callbacks, assertion 28.2.3
cbAssertion... 372
I
iterators, assertion 373
S
s_vpi_assertion_info 374
s_vpi_assertion_step_info 376
s_vpi_attempt_info 376
s_vpi_source_info 374
T
t_vpi_assertion_info 374
t_vpi_assertion_step_info 376
t_vpi_attempt_info 376
t_vpi_source_info 374
V
vpiAssertion 371
vpiAssertion... 371
vpiAssertionDirective 375
vpiAssertType 371, 375
vpiCoverType 371, 375
vpiFileName 375
vpiFullName 375
vpiImmediateAssertType 371, 375
vpiLineNo 375
vpiName 375
vpiPropertyType 371, 375
vpiSequenceType 371, 375
vpi_control 377
vpi_control, examples 378
vpi_get 375
vpi_get_assertion_info 374
vpi_get_str 375
vpi_register_assertion_cb 28.4.2
vpi_register_cb 375 

--

NOTE: The content of this message may contain personal views
      which are not neccessarily the views of Motorola, unless specifically stated.

         ___________________________________________________
        |                                                   |
      _ | Michael Rohleder            Tel: +49-89-92103-259 | _
     / )| Software Technologist       Fax: +49-89-92103-680 |( \
    / / | Motorola, Semiconductor Products, System Design   | \ \
  _( (_ |  _   Schatzbogen 7, D-81829 Munich, Germany    _  | _) )_
 (((\ \>|_/ >                                           < \_|</ /)))
 (\\\\ \_/ /    mailto:Michael.Rohleder@motorola.com     \ \_/ ////)
  \       /_______________________________________________\       /
   \    _/                                                 \_    /
   /   /                                                     \   \

The information contained in this email has been classified as:
Motorola General Business Information (x)
Motorola Internal Use Only            ( )
Motorola Confidential Proprietary     ( )

*** This note may contain Motorola Confidential Proprietary or
    Motorola Internal Use Only Information and is intended to be
    reviewed by only the individual or organization named above.
    If you are not the intended recipient or an authorized representative
    of the intended recipient, you are hereby notified that any review,
    dissemination or copying of this email and its attachments, if any,
    or the information contained herein is prohibited. If you have received
    this email in error, please immediately notify the sender by
    return email and delete this email from your system.
    Thank you! ***

This archive was generated by hypermail 2b28 : Fri Jan 30 2004 - 09:42:46 PST