Subject: [sv-cc] issues on assertions/properties
From: Francoise Martinolle (fm@cadence.com)
Date: Tue Jan 20 2004 - 09:02:34 PST
As I started reviewing the assertions and properties, I found the following
issues. There will be more comments later today.
30.29 Assertion diagram.
The bubble around expr is too big.
This should be more in line with the modelling of a wait or ifelse stmts.
I suggest to use vpiCondition to get to the expression, remove the tag
vpiSuccesStmt (which is misspelled) and replace the tag vpiFailStmt with
vpiElseStmt.
30.30 Disable Condition
There is no point in create a new class Disable condition which only
purpose is to return the disable expression.
Remove Disable condition diagram and in diagram 30.29 replace relationship
to disable condition with a relationship yielding to the expr class, tag
this relationship "vpiDisableCondition"
30.31 property specification
Replace Disable condition with expr and tag the relationship
"vpiDisableCondition"
30.34 Immediate assert statement:
This should be more in line with the modelling of a wait and ifelse stmts.
I suggest to use vpiCondition to get to the expression, remove the tag
vpiSuccesStmt (which is misspelled) and replace the tag vpiFailStmt with
vpiElseStmt.
This archive was generated by hypermail 2b28 : Tue Jan 20 2004 - 09:06:30 PST