home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1997 February / PCWK0297.iso / technika / simic / examples / ftv.net < prev    next >
Encoding:
Text File  |  1993-11-09  |  1.2 KB  |  36 lines
  1. !Documentation
  2.  
  3.     (c) Copyright 1992 Genashor Corp.  All Rights Reserved
  4.  
  5.     SIMIC does not perform "blind" or unconditional checks based on
  6.     event times at flip-flop inputs.  It handles timing violations in
  7.     a consistent manner -- warning messages are issued, and/or flip-
  8.     flops are set to the unknown state, only when the flip-flop's state
  9.     is uncertain.
  10.  
  11.     SIMIC allows the user or library developer to completely and
  12.     independantly control both warning messages and propagation of
  13.     uncertainty due to violations of flip-flop timing checks:
  14.  
  15.  
  16.     * Pulse-width - SET, RESET, CLOCK (0 and 1 pulse-widths of clock)
  17.     * Setup-time  - minimum time an input must be stable prior to the
  18.             active clock edge:
  19.  
  20.             DATA  - D input of D flip-flop, J or K of JK flip-flop
  21.             SET   - When value of DATA is 0
  22.             RESET - When value of DATA is 1.
  23.  
  24.     * Hold-time   - minimum time an input must remain stable after the
  25.             active clock edge: DATA, SET, RESET.
  26.  
  27.     SIMIC run commands for this demonstration are in FTV.RUN.
  28.     Run this demonstration with the command:
  29.  
  30.         SIMIC FTV
  31.  
  32. !Logical
  33. !Format Part=    Type=    I=
  34. Type=ftv I=nr,d,c O=q
  35.     q    dpcf    nr,one,c,d    Timing-checks= begin; pw.nr = 20; end;
  36.