COMMAND NAME:

        ASSERTIONS

ABBREVIATIONS:

        ASSERT
        ASS

USAGE:
        ASSERT {'sig-name', | pt} 
        clock-assert-list [(local-period,local-intervals)]

        The ASSERTIONS command allows timing assertions to be
        specified while running the simulator.  This allows the 
        user to specify assertions interactively rather than as 
        part of the signal name on the GED drawing.  This feature 
        provides greater flexibility during simulations because 
        timing assertions can be changed during the simulation run. 

        The time specifier parameter is specified using the standard
        SCALD syntax for timing assertions (e.g., 0-4).  Do not 
        include the assertion character '!' (exclamation point), or 
        the assertion prefix (C).  The simulator automatically adds 
        the "!C" prefix to the time specifier.  

        This command can be invoked on existing clock signals as well 
        as any other signals in the drawing.  Thus, any signal can be 
        assigned a timing assertion during a simulation run, and 
        assertions of existing clock signals can be re-defined.  

        If you use local-period and local-intervals in the ASSERTIONS
        command, the local-period and the local-intervals are applicable
        only to the signal in the ASSERTIONS command and the clock on the
        signal becomes a local clock.

        The PERIOD command or the INTERVAL command will not affect the
        local clocks.
      
EXAMPLES:

        ASSERT 'CLK',0-3,6-8
        ASSERT 'LOCALCLOCK',0-4(300,12)
