message: sv2017: example p884: fix broken copy-paste
diff: @@ -6,9 +6,23 @@ table
  //-------------------------------------
  r 0 1 1 ? : ? : 0 ;
  r 1 1 1 ? : ? : 1 ;
  +
  + p 1 ? 1 ? : 1 : 1;
  + p 0 1 ? ? : 0 : 0;
  +
  + n ? ? ? ? : ? : -;
  + ? * ? ? ? : ? : -;
  +
  + ? ? 0 1 ? : ? : 1;
  + ? ? * 1 ? : 1 : 1;
  +
  + ? ? 1 0 ? : ? : 0;
  + ? ? 1 * ? : 0 : 0;
  + ? ? ? ? * : ? : x;// At any notifier event
  + // output x
  +
  endtable
  endprimitive
  -endprimitive
  module dff(q, qbar, clock, data, preset, clear);
  @@ -20,16 +34,12 @@ not (qbar, ffout);
  buf (q, ffout);
  posdff_udp (ffout, clock, data, preset, clear, notifier);
  specify
  -// Define
  -specparam
  -// Define
  -specparam
  -specparam
  -timing check specparam values
  -tSU = 10, tHD = 1, tPW = 25, tWPC = 10, tREC = 5;
  -module path delay rise and fall min:typ:max values
  -tPLHc = 4:6:9 , tPHLc = 5:8:11;
  -tPLHpc = 3:5:6 , tPHLpc = 4:7:9;
  + // Define timing check specparam values
  + specparam tSU = 10, tHD = 1, tPW = 25, tWPC = 10, tREC = 5;
  + // Define module path delay rise and fall min:typ:max values
  + specparam tPLHc = 4:6:9 , tPHLc = 5:8:11;
  + specparam tPLHpc = 3:5:6 , tPHLpc = 4:7:9;
  +
  // Specify module path delays
  (clock *> q,qbar) = (tPLHc, tPHLc);
  (preset,clear *> q,qbar) = (tPLHpc, tPHLpc);
  