|HOME |ABOUT |ARTICLES |ACK |FEEDBACK |TOC |LINKS |BLOG |JOBS |


Tutorials



TEMPORAL EXPRESSIONS



Temporal expressions provide a declarative way to describe temporal behavior. The e language provides a set of temporal operators and keywords that can be use to construct temporal expressions. Every temporal expression has a default clock, called its sampling event .The temporal language is the basis for capturing behavior over time for:

--Synchronizing with the DUT
--Debugging
--Protocol checking
--Functional coverage

The language is built of:
--Temporal expressions (TEs).
--Temporal operators, for defining complex expressions.
--Event struct members, for defining occurrences of events during the run.
--Expect struct members, for checking temporal behavio



Basic Temporal Expressions



Each TE is associated with a sampling event that indicates when the TE should be evaluated by Specman Elite.

------------------------------------------------------------------------
Temporal Expression                 Sampling Event
------------------------------------------------------------------------
true(boolean-exp)@sample-event      Every sample-event at which boolean 
                                    exp is true
rise/fall/change(exp)@sample event  Every sample-event at which exp had
                                    risen/fallen/changed since previous
                                    sample-event
cycle @sample-event                 Every sample-event
[num] * TE                          Above TEs repeated num times
-----------------------------------------------------------------------





Temporal Checking



1. The temporal expressions we saw for defining events and using in wait actions in TCMs can also be used for checking behavior through time.
2. The struct member expect spawns a thread that reports an error if a temporal expression does not succeed.


Index
Introduction
E Basics
Data Types
Operators
Struct
Units
List
Methods
Concurrency Actions
Constraints
Extend
When And Like
Events
Temporal Expressions
Temporal Operators 1
Temporal Operators 2
Synchronizing With The Simulator
Wait And Sync
Physical Virual Feilds
Packing N Unpacking
Pre Run N On The Fly
Coverage
Commands
Extendable Methods
Non Extendable Methods
And Gate Evc

Report a Bug or Comment on This section - Your input is what keeps Testbench.in improving with time!





<< PREVIOUS PAGE

TOP

NEXT PAGE >>

copyright 2007-2017 :: all rights reserved www.testbench.in::Disclaimer