//***********************************************************************//  
// Required signals
//***********************************************************************//    
  wire [31:0] address;
  wire [31:0] actual_msp;
  wire [31:0] actual_psp;
  
  wire        dummy_op_queue_spec;
  wire        dummy_state;
  wire        dummy_cc_pass;
  wire        dummy_fault;
  wire        dummy_hard_fault;
  wire        dummy_lockup;
  wire        dummy_halted;
  wire        dummy_irq_ack;
  wire        dummy_rfe_ack;
  wire        dummy_int_ready;
  wire [5:0]  dummy_int_pend_num;
  
//***********************************************************************//  
// Signals assign
//***********************************************************************//
  
  assign address    = {spy_iaex, 1'b0};
  assign actual_msp = {spy_reg_msp, 2'b00};
  assign actual_psp = {spy_reg_psp, 2'b00};
  
  assign dummy_op_queue_spec = 'b0;
  assign dummy_state         = 'b0;
  assign dummy_cc_pass       = 'b0;
  assign dummy_fault         = 'b0;
  assign dummy_hard_fault    = 'b0;
  assign dummy_lockup        = 'b0;
  assign dummy_halted        = 'b0;
  assign dummy_irq_ack       = 'b0;
  assign dummy_rfe_ack       = 'b0;
  assign dummy_int_ready     = 'b0;
  assign dummy_int_pend_num  = 'b0;
  
//***********************************************************************//  
// Interface connections
//***********************************************************************//  
  
  decoder_interface_if  arm_utils_decoder_interface_bus(
     // pragma uvmf custom arm_utils_decoder_interface_bus_connections begin
     .CLK            (clk),
     .PORESETn       (rst),
     .address        (address),
     .iaex           (spy_iaex),
     .opcode         (spy_opcode),
     .instr_queue    (spy_ibuf_de_nxt),
     .op_special     (spy_pfu_op_special),
     .op_queue_spec  (dummy_op_queue_spec),
     .state          (dummy_state),
     .cc_pass        (dummy_cc_pass),
     .preempt        (spy_int_preempt),
     .atomic         (spy_atomic),
     .fault          (dummy_fault),
     .hard_fault     (dummy_hard_fault),
     .lockup         (dummy_lockup),
     .halted         (dummy_halted),
     .irq_ack        (dummy_irq_ack),
     .rfe_ack        (dummy_rfe_ack),
     .int_ready      (dummy_int_ready),
     .int_pend_num   (dummy_int_pend_num),
     .ctl_ex_last    (spy_ctl_ex_last),
     .data_abort     (spy_data_abort),
     .tbit           (spy_tbit),
     .reg_r00        (spy_reg_r00),
     .reg_r01        (spy_reg_r01),
     .reg_r02        (spy_reg_r02),
     .reg_r03        (spy_reg_r03),
     .reg_r04        (spy_reg_r04),
     .reg_r05        (spy_reg_r05),
     .reg_r06        (spy_reg_r06),
     .reg_r07        (spy_reg_r07),
     .reg_r08        (spy_reg_r08),
     .reg_r09        (spy_reg_r09),
     .reg_r10        (spy_reg_r10),
     .reg_r11        (spy_reg_r11),
     .reg_r12        (spy_reg_r12),
     .reg_lr         (spy_reg_r14),
     .reg_aux        (spy_reg_aux),
     .reg_msp        (actual_msp),
     .reg_psp        (actual_psp),
     .apsr           (spy_psr_apsr)     
     // pragma uvmf custom arm_utils_decoder_environment_decoder_interface_bus_connections end
     );
  interrupt_visualizer_interface_if  arm_utils_interrupt_visualizer_interface_bus(
     // pragma uvmf custom interrupt_visualizer_interface_bus_connections begin
     .CLK              (clk),
     .PORESETn         (rst),
     .int_active_bit   (spy_int_actv_bit),
     .int_pend         (spy_int_pend),
     .int_irq_lvl      (spy_int_irq_lvl),
     .int_sys_tick_lvl (spy_int_tck_lvl),
     .int_svc_lvl      (spy_int_svc_lvl),
     .int_psv_lvl      (spy_int_psv_lvl),
     .int_taken        (spy_int_taken),
     .int_return       (spy_int_return)
     // pragma uvmf custom interrupt_visualizer_environment_interrupt_visualizer_interface_bus_connections end
     );
  mem_access_chk_interface_if arm_utils_mem_access_chk_interface_bus(
     // pragma uvmf custom mem_access_chk_interface_bus_connections begin
     .CLK            (clk),
     .PORESETn       (rst),
     .HADDR          (HADDR)
     // pragma uvmf custom mem_access_chk_interface_bus_connections end
     );