anchor.diff:          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);
  
positive.code:      /* from clock*/
      default_reset sys_reset(sys_reset) = sys_reset;
      interface PciewrapCfg     cfg;
          method config_space_enable(cfg_config_space_enable) enable((*inhigh*) EN_cfg_config_space_enable) clocked_by (user_clk) reset_by (user_reset);
          method cfg_current_speed current_speed() clocked_by (user_clk) reset_by (user_reset);
          method cfg_dpa_substate_change dpa_substate_change() clocked_by (user_clk) reset_by (user_reset);
          method ds_bus_number(cfg_ds_bus_number) enable((*inhigh*) EN_cfg_ds_bus_number) clocked_by (user_clk) reset_by (user_reset);
          method ds_device_number(cfg_ds_device_number) enable((*inhigh*) EN_cfg_ds_device_number) clocked_by (user_clk) reset_by (user_reset);
          method ds_function_number(cfg_ds_function_number) enable((*inhigh*) EN_cfg_ds_function_number) clocked_by (user_clk) reset_by (user_reset);
          method ds_port_number(cfg_ds_port_number) enable((*inhigh*) EN_cfg_ds_port_number) clocked_by (user_clk) reset_by (user_reset);
          method dsn(cfg_dsn) enable((*inhigh*) EN_cfg_dsn) clocked_by (user_clk) reset_by (user_reset);
          method err_cor_in(cfg_err_cor_in) enable((*inhigh*) EN_cfg_err_cor_in) clocked_by (user_clk) reset_by (user_reset);
          method cfg_err_cor_out err_cor_out() clocked_by (user_clk) reset_by (user_reset);
          method cfg_err_fatal_out err_fatal_out() clocked_by (user_clk) reset_by (user_reset);
          method cfg_err_nonfatal_out err_nonfatal_out() clocked_by (user_clk) reset_by (user_reset);
          method err_uncor_in(cfg_err_uncor_in) enable((*inhigh*) EN_cfg_err_uncor_in) clocked_by (user_clk) reset_by (user_reset);
          method cfg_ext_function_number ext_function_number() clocked_by (user_clk) reset_by (user_reset);
          method ext_read_data(cfg_ext_read_data) enable((*inhigh*) EN_cfg_ext_read_data) clocked_by (user_clk) reset_by (user_reset);
          method ext_read_data_valid(cfg_ext_read_data_valid) enable((*inhigh*) EN_cfg_ext_read_data_valid) clocked_by (user_clk) reset_by (user_reset);
          method cfg_ext_read_received ext_read_received() clocked_by (user_clk) reset_by (user_reset);
          method cfg_ext_register_number ext_register_number() clocked_by (user_clk) reset_by (user_reset);
          method cfg_ext_write_byte_enable ext_write_byte_enable() clocked_by (user_clk) reset_by (user_reset);
          method cfg_ext_write_data ext_write_data() clocked_by (user_clk) reset_by (user_reset);
          method cfg_ext_write_received ext_write_received() clocked_by (user_clk) reset_by (user_reset);
          method cfg_fc_cpld fc_cpld() clocked_by (user_clk) reset_by (user_reset);
          method cfg_fc_cplh fc_cplh() clocked_by (user_clk) reset_by (user_reset);
          method cfg_fc_npd fc_npd() clocked_by (user_clk) reset_by (user_reset);
          method cfg_fc_nph fc_nph() clocked_by (user_clk) reset_by (user_reset);
          method cfg_fc_pd fc_pd() clocked_by (user_clk) reset_by (user_reset);
          method cfg_fc_ph fc_ph() clocked_by (user_clk) reset_by (user_reset);
          method fc_sel(cfg_fc_sel) enable((*inhigh*) EN_cfg_fc_sel) clocked_by (user_clk) reset_by (user_reset);
          method flr_done(cfg_flr_done) enable((*inhigh*) EN_cfg_flr_done) clocked_by (user_clk) reset_by (user_reset);
          method cfg_flr_in_process flr_in_process() clocked_by (user_clk) reset_by (user_reset);
          method cfg_function_power_state function_power_state() clocked_by (user_clk) reset_by (user_reset);
          method cfg_function_status function_status() clocked_by (user_clk) reset_by (user_reset);
          method hot_reset_in(cfg_hot_reset_in) enable((*inhigh*) EN_cfg_hot_reset_in) clocked_by (user_clk) reset_by (user_reset);
          method cfg_hot_reset_out hot_reset_out() clocked_by (user_clk) reset_by (user_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);
  
negative.code: (* always_ready, always_enabled *)
  interface PcieWrap#(numeric type lanes);
      interface PciewrapCfg#(lanes)     cfg;
      interface PciewrapCommon#(lanes)     common;
      interface Clock     int_dclk_out;
      interface Clock     int_oobclk_out;
  