anchor.diff:  (* always_ready, always_enabled *)
   interface PcieWrap#(numeric type lanes);
       interface PciewrapCfg#(lanes)     cfg;
  -    interface PciewrapCfg_mgmt_type1#(lanes)     cfg_mgmt_type1;
  -    interface PciewrapCfg_req_pm_transition#(lanes)     cfg_req_pm_transition;
       interface PciewrapCommon#(lanes)     common;
       interface Clock     int_dclk_out;
       interface Clock     int_oobclk_out;
  
positive.code:         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);
          method cfg_link_power_state link_power_state() clocked_by (user_clk) reset_by (user_reset);
          method link_training_enable(cfg_link_training_enable) enable((*inhigh*) EN_cfg_link_training_enable) clocked_by (user_clk) reset_by (user_reset);
          method cfg_ltr_enable ltr_enable() clocked_by (user_clk) reset_by (user_reset);
          method cfg_ltssm_state ltssm_state() clocked_by (user_clk) reset_by (user_reset);
          method cfg_max_payload max_payload() clocked_by (user_clk) reset_by (user_reset);
          method cfg_max_read_req max_read_req() clocked_by (user_clk) reset_by (user_reset);
          method mgmt_addr(cfg_mgmt_addr) enable((*inhigh*) EN_cfg_mgmt_addr) clocked_by (user_clk) reset_by (user_reset);
          method mgmt_byte_enable(cfg_mgmt_byte_enable) enable((*inhigh*) EN_cfg_mgmt_byte_enable) clocked_by (user_clk) reset_by (user_reset);
          method mgmt_read(cfg_mgmt_read) enable((*inhigh*) EN_cfg_mgmt_read) clocked_by (user_clk) reset_by (user_reset);
          method cfg_mgmt_read_data mgmt_read_data() clocked_by (user_clk) reset_by (user_reset);
          method cfg_mgmt_read_write_done mgmt_read_write_done() clocked_by (user_clk) reset_by (user_reset);
          method mgmt_write(cfg_mgmt_write) enable((*inhigh*) EN_cfg_mgmt_write) clocked_by (user_clk) reset_by (user_reset);
          method mgmt_write_data(cfg_mgmt_write_data) enable((*inhigh*) EN_cfg_mgmt_write_data) clocked_by (user_clk) reset_by (user_reset);
          method cfg_msg_received msg_received() clocked_by (user_clk) reset_by (user_reset);
          method cfg_msg_received_data msg_received_data() clocked_by (user_clk) reset_by (user_reset);
          method cfg_msg_received_type msg_received_type() clocked_by (user_clk) reset_by (user_reset);
          method msg_transmit(cfg_msg_transmit) enable((*inhigh*) EN_cfg_msg_transmit) clocked_by (user_clk) reset_by (user_reset);
          method msg_transmit_data(cfg_msg_transmit_data) enable((*inhigh*) EN_cfg_msg_transmit_data) clocked_by (user_clk) reset_by (user_reset);
          method cfg_msg_transmit_done msg_transmit_done() clocked_by (user_clk) reset_by (user_reset);
          method msg_transmit_type(cfg_msg_transmit_type) enable((*inhigh*) EN_cfg_msg_transmit_type) clocked_by (user_clk) reset_by (user_reset);
          method cfg_negotiated_width negotiated_width() clocked_by (user_clk) reset_by (user_reset);
          method cfg_obff_enable obff_enable() clocked_by (user_clk) reset_by (user_reset);
          method per_func_status_control(cfg_per_func_status_control) enable((*inhigh*) EN_cfg_per_func_status_control) clocked_by (user_clk) reset_by (user_reset);
          method cfg_per_func_status_data per_func_status_data() clocked_by (user_clk) reset_by (user_reset);
          method per_function_number(cfg_per_function_number) enable((*inhigh*) EN_cfg_per_function_number) clocked_by (user_clk) reset_by (user_reset);
          method per_function_output_request(cfg_per_function_output_request) enable((*inhigh*) EN_cfg_per_function_output_request) clocked_by (user_clk) reset_by (user_reset);
          method cfg_per_function_update_done per_function_update_done() clocked_by (user_clk) reset_by (user_reset);
          method cfg_phy_link_down phy_link_down() clocked_by (user_clk) reset_by (user_reset);
          method cfg_phy_link_status phy_link_status() clocked_by (user_clk) reset_by (user_reset);
          method cfg_pl_status_change pl_status_change() clocked_by (user_clk) reset_by (user_reset);
          method power_state_change_ack(cfg_power_state_change_ack) enable((*inhigh*) EN_cfg_power_state_change_ack) clocked_by (user_clk) reset_by (user_reset);
          method cfg_power_state_change_interrupt power_state_change_interrupt() clocked_by (user_clk) reset_by (user_reset);
          method cfg_rcb_status rcb_status() clocked_by (user_clk) reset_by (user_reset);
          method subsys_vend_id(cfg_subsys_vend_id) enable((*inhigh*) EN_cfg_subsys_vend_id) clocked_by (user_clk) reset_by (user_reset);
          method cfg_tph_requester_enable tph_requester_enable() clocked_by (user_clk) reset_by (user_reset);
          method cfg_tph_st_mode tph_st_mode() clocked_by (user_clk) reset_by (user_reset);
          method vf_flr_done(cfg_vf_flr_done) enable((*inhigh*) EN_cfg_vf_flr_done) clocked_by (user_clk) reset_by (user_reset);
          method cfg_vf_flr_in_process vf_flr_in_process() clocked_by (user_clk) reset_by (user_reset);
          method cfg_vf_power_state vf_power_state() clocked_by (user_clk) reset_by (user_reset);
          method cfg_vf_status vf_status() clocked_by (user_clk) reset_by (user_reset);
          method cfg_vf_tph_requester_enable vf_tph_requester_enable() clocked_by (user_clk) reset_by (user_reset);
          method cfg_vf_tph_st_mode vf_tph_st_mode() clocked_by (user_clk) reset_by (user_reset);
      endinterface
      interface PciewrapCfg_mgmt_type1     cfg_mgmt_type1;
          method cfg_reg_access(cfg_mgmt_type1_cfg_reg_access) enable((*inhigh*) EN_cfg_mgmt_type1_cfg_reg_access) clocked_by (user_clk) reset_by (user_reset);
      endinterface
      interface PciewrapCfg_req_pm_transition     cfg_req_pm_transition;
          method l23_ready(cfg_req_pm_transition_l23_ready) enable((*inhigh*) EN_cfg_req_pm_transition_l23_ready) 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 (user_reset);
  
negative.code:     method Bit#(6)     interrupt_msix_vf_mask();
      method Action      interrupt_pending(Bit#(2) v);
      method Bit#(1)     interrupt_sent();
  endinterface
  (* always_ready, always_enabled *)
  interface PciewrapCommon#(numeric type lanes);
  