anchor.diff:       /* from clock*/
       default_reset sys_reset(sys_reset) = sys_reset;
       interface PciewrapCfg     cfg;
  -        method interrupt_int(cfg_interrupt_int) enable((*inhigh*) EN_cfg_interrupt_int) clocked_by (user_clk) reset_by (no_reset);
  -        method interrupt_msix_address(cfg_interrupt_msix_address) enable((*inhigh*) EN_cfg_interrupt_msix_address) clocked_by (user_clk) reset_by (no_reset);
  -        method interrupt_msix_data(cfg_interrupt_msix_data) enable((*inhigh*) EN_cfg_interrupt_msix_data) clocked_by (user_clk) reset_by (no_reset);
  -        method cfg_interrupt_msix_enable interrupt_msix_enable() clocked_by (user_clk) reset_by (no_reset);
  -        method cfg_interrupt_msix_fail interrupt_msix_fail() clocked_by (user_clk) reset_by (no_reset);
  -        method interrupt_msix_int(cfg_interrupt_msix_int) enable((*inhigh*) EN_cfg_interrupt_msix_int) clocked_by (user_clk) reset_by (no_reset);
  -        method cfg_interrupt_msix_mask interrupt_msix_mask() clocked_by (user_clk) reset_by (no_reset);
  -        method cfg_interrupt_msix_sent interrupt_msix_sent() clocked_by (user_clk) reset_by (no_reset);
  -        method cfg_interrupt_msix_vf_enable interrupt_msix_vf_enable() clocked_by (user_clk) reset_by (no_reset);
  -        method cfg_interrupt_msix_vf_mask interrupt_msix_vf_mask() clocked_by (user_clk) reset_by (no_reset);
  -        method interrupt_pending(cfg_interrupt_pending) enable((*inhigh*) EN_cfg_interrupt_pending) clocked_by (user_clk) reset_by (no_reset);
  -        method cfg_interrupt_sent interrupt_sent() clocked_by (user_clk) reset_by (no_reset);
  +        method interrupt_int(cfg_interrupt_int) enable((*inhigh*) EN_cfg_interrupt_int) clocked_by (user_clk) reset_by (user_reset);
  +        method interrupt_msix_address(cfg_interrupt_msix_address) enable((*inhigh*) EN_cfg_interrupt_msix_address) clocked_by (user_clk) reset_by (user_reset);
  +        method interrupt_msix_data(cfg_interrupt_msix_data) enable((*inhigh*) EN_cfg_interrupt_msix_data) clocked_by (user_clk) reset_by (user_reset);
  +        method cfg_interrupt_msix_enable interrupt_msix_enable() clocked_by (user_clk) reset_by (user_reset);
  +        method cfg_interrupt_msix_fail interrupt_msix_fail() clocked_by (user_clk) reset_by (user_reset);
  +        method interrupt_msix_int(cfg_interrupt_msix_int) enable((*inhigh*) EN_cfg_interrupt_msix_int) clocked_by (user_clk) reset_by (user_reset);
  +        method cfg_interrupt_msix_mask interrupt_msix_mask() clocked_by (user_clk) reset_by (user_reset);
  +        method cfg_interrupt_msix_sent interrupt_msix_sent() clocked_by (user_clk) reset_by (user_reset);
  +        method cfg_interrupt_msix_vf_enable interrupt_msix_vf_enable() clocked_by (user_clk) reset_by (user_reset);
  +        method cfg_interrupt_msix_vf_mask interrupt_msix_vf_mask() clocked_by (user_clk) reset_by (user_reset);
  +        method interrupt_pending(cfg_interrupt_pending) enable((*inhigh*) EN_cfg_interrupt_pending) clocked_by (user_clk) reset_by (user_reset);
  +        method cfg_interrupt_sent interrupt_sent() clocked_by (user_clk) reset_by (user_reset);
       endinterface
       interface PciewrapCommon     common;
  -        method commands_in(common_commands_in) enable((*inhigh*) EN_common_commands_in) clocked_by (user_clk) reset_by (no_reset);
  +        method commands_in(common_commands_in) enable((*inhigh*) EN_common_commands_in) clocked_by (user_clk) reset_by (user_reset);
           method common_commands_out commands_out();
       endinterface
       output_clock int_dclk_out(int_dclk_out);
       output_clock int_oobclk_out(int_oobclk_out);
       output_clock int_pclk_out_slave(int_pclk_out_slave);
       interface PciewrapInt_pclk_sel     int_pclk_sel;
  -        method slave(int_pclk_sel_slave) enable((*inhigh*) EN_int_pclk_sel_slave) clocked_by (user_clk) reset_by (no_reset);
  +        method slave(int_pclk_sel_slave) enable((*inhigh*) EN_int_pclk_sel_slave) clocked_by (user_clk) reset_by (user_reset);
       endinterface
       output_clock int_pipe_rxusrclk_out(int_pipe_rxusrclk_out);
       interface PciewrapInt_qplllock     int_qplllock;
  
positive.code:         method pipe_tx_7_sigs tx_7_sigs();
      endinterface
      interface PciewrapS_axis_cc     s_axis_cc;
          method tdata(s_axis_cc_tdata) enable((*inhigh*) EN_s_axis_cc_tdata) clocked_by (user_clk) reset_by (no_reset);
          method tkeep(s_axis_cc_tkeep) enable((*inhigh*) EN_s_axis_cc_tkeep) clocked_by (user_clk) reset_by (no_reset);
          method tlast(s_axis_cc_tlast) enable((*inhigh*) EN_s_axis_cc_tlast) clocked_by (user_clk) reset_by (no_reset);
          method s_axis_cc_tready tready() clocked_by (user_clk) reset_by (no_reset);
          method tuser(s_axis_cc_tuser) enable((*inhigh*) EN_s_axis_cc_tuser) clocked_by (user_clk) reset_by (no_reset);
          method tvalid(s_axis_cc_tvalid) enable((*inhigh*) EN_s_axis_cc_tvalid) clocked_by (user_clk) reset_by (no_reset);
      endinterface
      interface PciewrapS_axis_rq     s_axis_rq;
          method tdata(s_axis_rq_tdata) enable((*inhigh*) EN_s_axis_rq_tdata) clocked_by (user_clk) reset_by (no_reset);
          method tkeep(s_axis_rq_tkeep) enable((*inhigh*) EN_s_axis_rq_tkeep) clocked_by (user_clk) reset_by (no_reset);
          method tlast(s_axis_rq_tlast) enable((*inhigh*) EN_s_axis_rq_tlast) clocked_by (user_clk) reset_by (no_reset);
          method s_axis_rq_tready tready() clocked_by (user_clk) reset_by (no_reset);
          method tuser(s_axis_rq_tuser) enable((*inhigh*) EN_s_axis_rq_tuser) clocked_by (user_clk) reset_by (no_reset);
          method tvalid(s_axis_rq_tvalid) enable((*inhigh*) EN_s_axis_rq_tvalid) clocked_by (user_clk) reset_by (no_reset);
      endinterface
      interface PciewrapUser     user;
          method user_app_rdy app_rdy() clocked_by (user_clk) reset_by (no_reset);
          method user_lnk_up lnk_up() clocked_by (user_clk) reset_by (no_reset);
      endinterface
      
      
  
negative.code:     method Bit#(256)     tdata();
      method Bit#(8)     tkeep();
      method Bit#(1)     tlast();
      method Action      tready(Bit#(1) v);
      method Bit#(85)     tuser();
      method Bit#(1)     tvalid();
  endinterface
  