anchor.diff:      method Bit#(6)     interrupt_msix_vf_mask();
       method Action      interrupt_pending(Bit#(2) v);
       method Bit#(1)     interrupt_sent();
  -    method Bit#(2)     link_power_state();
  -    method Action      link_training_enable(Bit#(1) v);
  -    method Bit#(1)     ltr_enable();
  -    method Bit#(6)     ltssm_state();
  -    method Bit#(3)     max_payload();
  -    method Bit#(3)     max_read_req();
  -    method Action      mgmt_addr(Bit#(19) v);
  -    method Action      mgmt_byte_enable(Bit#(4) v);
  -    method Action      mgmt_read(Bit#(1) v);
  -    method Bit#(32)     mgmt_read_data();
  -    method Bit#(1)     mgmt_read_write_done();
  -    method Action      mgmt_write(Bit#(1) v);
  -    method Action      mgmt_write_data(Bit#(32) v);
  -    method Bit#(1)     msg_received();
  -    method Bit#(8)     msg_received_data();
  -    method Bit#(5)     msg_received_type();
  -    method Action      msg_transmit(Bit#(1) v);
  -    method Action      msg_transmit_data(Bit#(32) v);
  -    method Bit#(1)     msg_transmit_done();
  -    method Action      msg_transmit_type(Bit#(3) v);
  -    method Bit#(4)     negotiated_width();
  -    method Bit#(2)     obff_enable();
  -    method Action      per_func_status_control(Bit#(3) v);
  -    method Bit#(16)     per_func_status_data();
  -    method Action      per_function_number(Bit#(3) v);
  -    method Action      per_function_output_request(Bit#(1) v);
  -    method Bit#(1)     per_function_update_done();
  -    method Bit#(1)     phy_link_down();
  -    method Bit#(2)     phy_link_status();
  -    method Bit#(1)     pl_status_change();
  -    method Action      power_state_change_ack(Bit#(1) v);
  -    method Bit#(1)     power_state_change_interrupt();
  -    method Bit#(2)     rcb_status();
  -    method Action      subsys_vend_id(Bit#(16) v);
  -    method Bit#(2)     tph_requester_enable();
  -    method Bit#(6)     tph_st_mode();
  -    method Action      vf_flr_done(Bit#(6) v);
  -    method Bit#(6)     vf_flr_in_process();
  -    method Bit#(18)     vf_power_state();
  -    method Bit#(12)     vf_status();
  -    method Bit#(6)     vf_tph_requester_enable();
  -    method Bit#(18)     vf_tph_st_mode();
  -endinterface
  -(* always_ready, always_enabled *)
  -interface PciewrapCfg_mgmt_type1#(numeric type lanes);
  -    method Action      cfg_reg_access(Bit#(1) v);
  -endinterface
  -(* always_ready, always_enabled *)
  -interface PciewrapCfg_req_pm_transition#(numeric type lanes);
  -    method Action      l23_ready(Bit#(1) v);
   endinterface
   (* always_ready, always_enabled *)
   interface PciewrapCommon#(numeric type lanes);
  
positive.code: 
  (* 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);
  
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);
  