distrib/share/tcl/help/avt/stab/inf_DefineSwitchingProbability

   1
   2            inf_DefineSwitchingProbability {signal} {switching probability} ;
   3
   4 D\bDE\bES\bSC\bCR\bRI\bIP\bPT\bTI\bIO\bON\bN
   5        [IN ALPHA DEVELOPMENT STAGE] Associates a switching probability to _\bs_\bi_\bg_\b-
   6        _\bn_\ba_\bl. This probability can be used by  CTK  to  remove  non  interesting
   7        agressions (see also variable: stbCtkMinOccurenceProbability).
   8
   9 A\bAR\bRG\bGU\bUM\bME\bEN\bNT\bTS\bS
  10        s\bsi\big\bgn\bna\bal\bl        signal to associate the probability to.
  11
  12        s\bsw\bwi\bit\btc\bch\bhi\bin\bng\bg p\bpr\bro\bob\bba\bab\bbi\bil\bli\bit\bty\by
  13                      probability value from 0 to 1.
  14
  15        E\bEX\bXA\bAM\bMP\bPL\bLE\bE       _\bi_\bn_\bf_\b__\bD_\be_\bf_\bi_\bn_\be_\bS_\bw_\bi_\bt_\bc_\bh_\bi_\bn_\bg_\bP_\br_\bo_\bb_\ba_\bb_\bi_\bl_\bi_\bt_\by   _\b"_\be_\bn_\ba_\bb_\bl_\be_\b"   _\b0_\b._\b2_\b5.  Signal
  16                      "enable" can switch 1 time each 4 clock cycles.
  17