distrib/share/tcl/help/avt/cpe/cpe_DefineCorrelation

   1
   2            cpe_DefineCorrelation <net1> <relation> <net2> ;
   3
   4 D\bDE\bES\bSC\bCR\bRI\bIP\bPT\bTI\bIO\bON\bN
   5        Defines  the  relation  between 2 signals to help computing propagation
   6        condition for simulations.
   7
   8 A\bAR\bRG\bGU\bUM\bME\bEN\bNT\bTS\bS
   9        n\bne\bet\bt1\b1          First net name.
  10
  11        r\bre\bel\bla\bat\bti\bio\bon\bn      Value '_\b=' means _\bn_\be_\bt_\b1=_\bn_\be_\bt_\b2
  12
  13        n\bne\bet\bt2\b2          Second net name.
  14
  15        E\bEX\bXA\bAM\bMP\bPL\bLE\bE       _\bc_\bp_\be_\b__\bD_\be_\bf_\bi_\bn_\be_\bC_\bo_\br_\br_\be_\bl_\ba_\bt_\bi_\bo_\bn _\bc_\bl_\bk _\b!_\b= _\bc_\bl_\bk_\bb
  16