RE: [sv-cc] Today's SV VPI Update

Subject: RE: [sv-cc] Today's SV VPI Update
From: Bassam Tabbara (bassam@novas.com)
Date: Mon Jan 19 2004 - 14:29:18 PST

Joao, [this is an html email so I can paste the fixes ...]

My apologies for this oversight on my part, somehow I never sent the first
part out of this email earlier ... sorry about that. A couple of
enhancements remain in the property part, here's what I see (in the rev you
just sent out) to more accurately reflect draft3 (most are just additions
similar to what you have already, so not a big issue, nothing is wrong, just
need a bit more beef up ...): As far as I can tell this all I see.

PART I: Diagrams

1) vpiPropertyOpType needs to also have: vpiAnd, vpiOR, and if/else , see
the following (draft3)

property_expr ::=

sequence_expr

| ( property_expr )

| not property_expr

| property_expr or property_expr

| property_expr and property_expr

| sequence_expr |-> [ not ] sequence_expr property_expr

| sequence_expr |=> [ not ] sequence_expr property_expr

| if ( expression ) property_expr [ else property_expr ]

| property_instance

2) property expr needs to also have "multiclock property expr" before/under
property expr, and then a new diagram for "multiclock property expr" of the
form (similar to property expr)

multi_clock_property_expr ::=

property_expr

! multi_clock_sequence

| clocking_event multi_clock_property_expr

| ( multi_clock_property_expr )

| not multi_clock_property_expr

| multi_clock_property_expr or multi_clock_property_expr

| multi_clock_property_expr and multi_clock_property_expr

| multi_clock_sequence |-> multi_clock_property_expr

| multi_clock_sequence |=> [ not ] multi_clock_sequence
multi_clock_property_expr

| if ( expression ) multi_clock_property_expr [ else
multi_clock_property_expr ]

| property_instance

3) Multi clock sequence expression also needs some enhancements (top figure
in below, needs to be more enhanced with "ops" too

 

Add the following:

multi_clock_sequence::=

clocked_sequence { ## clocked_sequence }

sequence_expr

| clocking_event multi_clock_sequence

| ( multi_clock_sequence )

| multi_clock_sequence ## multi_clock_sequence

PART II: vpi_user.h: missing the assertion/coverage/Read VPI... what's the
plan for this ?

Thx.

-Bassam. 

--
Dr. Bassam Tabbara
Technical Manager, R&D
Novas Software, Inc.

http://www.novas.com
(408) 467-7893

> -----Original Message-----
> From: owner-sv-cc@server.eda.org
> [mailto:owner-sv-cc@server.eda.org] On Behalf Of Joao Geada
> Sent: Monday, January 19, 2004 1:04 PM
> To: Sv-Cc
> Cc: Tapati Basu; Avinash G Mani; Charles Dawson; Francoise Martinolle
> Subject: [sv-cc] Today's SV VPI Update
>
>
> Hi all,
>
> attached is the last major update that I was expecting for
> the SV VPI extensions. This update includes some minor fixes
> to a number of diagrams, adds the expression diagrams,
> interface specify blocks, assignment stmts (to deal with the
> assignment operators, section 7.3), etc
>
> Additionally, this version provides a the sv_vpi_user.h file
> with the names of all the new VPI constants (though with no
> numbers assigned to the various constants, as I expect that
> some specific number range will be assigned for SystemVerilog)
>
> The only things in SystemVerilog that know are not
> represented by these diagrams are:  section 12.6 (random
> sequence generation)  section 20 (coverage)
>
> Joao
>

This archive was generated by hypermail 2b28 : Mon Jan 19 2004 - 14:39:58 PST