COMMAND NAME:

        FORCE

ABBREVIATIONS:

        FRC

USAGE:
        Interactive dialogue:

        sim> FORCE
        signal> {'signal-name' | pt}
        value(s)> value1 [{@ | +} time1 [valuen {@ | +} timen]...]

        or single entry:

        FRC ['signal-name'] , value1 [{@ | +} time1 [valuen {@ | +} timen]...]

        Forces the indicated signal to value1 at time1 and
        schedules subsequent values to be forced at the 
        indicated times.  In the interactive dialogue mode, the
        signal may be specified either by pucking in GED or by
        typing in the signal name in quotes.  In the single
        entry mode the signal name may be omitted, in which case
        the force is applied to the currently open signal.
        If no time is specified, the value is forced at the
        current time. 

        If the number of bits in the value exceeds the width of
        the signal, the extra bits at the high order end are
        ignored.  Value/time pairs are optional and may be
        either absolute or relative to the current time.
        Absolute times must be preceded by the character @,
        while relative times must be preceded by the character +.  
    
        Only a space is required to separate value/time pairs.  
        These pairs do not have to be in any specific time 
        order.  If time x = time y and value x is not equal to
        value y, then the latest value specified is forced 
        to the signal.  This applies to both single and 
        multiple invocations of the command. Also, if any 
        specified time x < current time, the corresponding 
        value is ignored.  Values from the FORCE command 
        always override the values specified in any other 
        way for the same time.  If the simulation time
        is reset to 0 via a LOGIC_INIT command, any scheduled
        forces are cleared.
    
        A forced signal may be unforced using the FREE command.

        May The Force be with you!

EXAMPLES:

        If the current time is 50, the command: 
    
        FORCE 'input',$xa@100 $xb@200 $xc+500 $xd@30 $xe+400 $xf@100
    
        forces the signal INPUT to the following values:

            f at time 100
            b at time 200
            e at time 450
            c at time 550

        The value a does not appear because it is overwritten 
        by the value f at time 100.  The value d is ignored 
        because 30 is less than the current time 50.

