Subject: window-based property evaluation
From: Erich Marschner (erichm@cadence.com)
Date: Thu Aug 08 2002 - 10:57:00 PDT
Tom:
Some details to consider w.r.t. window-based assertion checking (Op6-9, Sq6, Sq8).
1. Window Definition:
- how the start is indicated
- beginning of time, or
- occurrence of a synchronous event, or
- occurrence of a synchronous event.
- how the end is indicated
- end of time, or
- by another (normal end) event, or
- by N (clock) cycles after begin, or
- by a premature discharge event (e.g. 'abort'), or
- by the success or failure of the assertion, or
- by a global reset
- whether the start cycle is included in or excluded from the window
- whether the end cycle is included in or excluded from the window
2. Assertion Obligation
- whether the assertion is obligated to
- hold throughout the window, or
- not fail ** throughout the window, or
- hold somewhere before the end of the window
- fail somewhere before the end of the window
- what happens if assertion is not satisfied by the end of simulation
** depending upon the precise definition of 'hold', there may be a difference between 'holding' and 'not failing' within the window.
Regards,
Erich
-------------------------------------------
Erich Marschner, Cadence Design Systems
Senior Architect, Advanced Verification
Phone: +1 410 750 6995 Email: erichm@cadence.com
Vmail: +1 410 872 4369 Email: erichm@comcast.net
This archive was generated by hypermail 2b28 : Thu Aug 08 2002 - 10:59:46 PDT