anchor.diff:          else
               fwsync = bvi_fifo_wren_wire;
           fifo_wren_sync <= fwsync;
  +        iodelay_reset_inc_ce <= sync_reset_inc_ce;
  +    endrule
  +    rule wren_dfifo_rule;
  +        dfifo.wren(fifo_wren_sync);
       endrule
   
       rule clkdiv_rule if (bvi_reset_reg != 0);
  
positive.code: 
  import "BVI" iserdes_datadeser = 
  module mkIserdesbvi#(Clock clkdiv, Reset clkdiv_reset)(Iserdesbvi);
      input_clock clkdiv (CLKDIV) = clkdiv;
      default_clock clock(CLOCK);
      input_reset clkdiv_reset() clocked_by(clkdiv) = clkdiv_reset;
      method                  align_start(ALIGN_START) enable((*inhigh*) en1) clocked_by (clock);
      method ALIGN_BUSY       align_busy() clocked_by (clock);
      method ALIGNED          aligned() clocked_by (clock);
      method ISERDES_BITSLIP  bitslip() clocked_by (clkdiv) reset_by(clkdiv_reset);
      method SAMPLEIN samplein() clocked_by (clock);
      method IODELAY_RESET_INC_CE iodelay_reset_inc_ce() clocked_by (clkdiv) reset_by(clkdiv_reset);
      method                  autoalign(AUTOALIGN) enable((*inhigh*) en7) clocked_by (clock);
      method                  training(TRAINING) enable((*inhigh*) en8) clocked_by (clock);
      method                  manual_tap(MANUAL_TAP) enable((*inhigh*) en9) clocked_by (clock);
      method                  fifo_wren(FIFO_WREN) enable((*inhigh*) en10) clocked_by (clkdiv) reset_by(clkdiv_reset);
      method FIFO_WREN_SYNC   fifo_wren_sync() clocked_by (clock);
      method                  delay_wren(DELAY_WREN) enable((*inhigh*) en11) clocked_by (clkdiv) reset_by(clkdiv_reset);
      method                  reset(RESET) enable((*inhigh*) en17) clocked_by (clkdiv) reset_by(clkdiv_reset);
      method                  dataout(ISERDES_DATA) enable((*inhigh*) en18) clocked_by(clkdiv) reset_by(clkdiv_reset);
      method ITEMREQ_o        itemreq() clocked_by(clkdiv) reset_by(clkdiv_reset);
  
negative.code:     method Bit#(1)          align_busy();
      method Bit#(1)          aligned();
      method Bit#(3)          samplein();
      method Action           autoalign(Bit#(1) v);
      method Action           training(Bit#(10) v);
      method Action           manual_tap(Bit#(10) v);
      method Action           reset(Bit#(1) v);
      method Action           dataout(Bit#(10) v);
      method Bit#(1)          itemreq();
      method Bit#(1)          ctrl_bitslip();
  