anchor.diff:  
   (* always_ready, always_enabled *)
   interface PciewrapCfg#(numeric type lanes);
  -    method Action      config_space_enable(Bit#(1) v);
  -    method Bit#(3)     current_speed();
  -    method Bit#(2)     dpa_substate_change();
  -    method Action      ds_bus_number(Bit#(8) v);
  -    method Action      ds_device_number(Bit#(5) v);
  -    method Action      ds_function_number(Bit#(3) v);
  -    method Action      ds_port_number(Bit#(8) v);
  -    method Action      dsn(Bit#(64) v);
  -    method Action      err_cor_in(Bit#(1) v);
  -    method Bit#(1)     err_cor_out();
  -    method Bit#(1)     err_fatal_out();
  -    method Bit#(1)     err_nonfatal_out();
  -    method Action      err_uncor_in(Bit#(1) v);
  -    method Bit#(8)     ext_function_number();
  -    method Action      ext_read_data(Bit#(32) v);
  -    method Action      ext_read_data_valid(Bit#(1) v);
  -    method Bit#(1)     ext_read_received();
  -    method Bit#(10)     ext_register_number();
  -    method Bit#(4)     ext_write_byte_enable();
  -    method Bit#(32)     ext_write_data();
  -    method Bit#(1)     ext_write_received();
  -    method Bit#(12)     fc_cpld();
  -    method Bit#(8)     fc_cplh();
  -    method Bit#(12)     fc_npd();
  -    method Bit#(8)     fc_nph();
  -    method Bit#(12)     fc_pd();
  -    method Bit#(8)     fc_ph();
  -    method Action      fc_sel(Bit#(3) v);
  -    method Action      flr_done(Bit#(2) v);
  -    method Bit#(2)     flr_in_process();
  -    method Bit#(6)     function_power_state();
  -    method Bit#(8)     function_status();
  -    method Action      hot_reset_in(Bit#(1) v);
  -    method Bit#(1)     hot_reset_out();
       method Action      interrupt_int(Bit#(4) v);
       method Action      interrupt_msix_address(Bit#(64) v);
       method Action      interrupt_msix_data(Bit#(32) v);
  
positive.code:     method Action      rxp(Bit#(8) v);
      method Bit#(8)     txn();
      method Bit#(8)     txp();
  endinterface
  (* always_ready, always_enabled *)
  interface PciewrapPcie#(numeric type lanes);
      method Action      cq_np_req(Bit#(1) v);
      method Bit#(6)     cq_np_req_count();
      method Bit#(4)     rq_seq_num();
      method Bit#(1)     rq_seq_num_vld();
      method Bit#(6)     rq_tag();
      method Bit#(1)     rq_tag_vld();
      method Bit#(2)     tfc_npd_av();
      method Bit#(2)     tfc_nph_av();
  endinterface
  (* always_ready, always_enabled *)
  interface PciewrapPipe#(numeric type lanes);
  
negative.code:      /* 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 (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);
  