Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions

Listing 3

The Initial reconfiguration management software.

1 ////// Define addresses of RMs in the DDR RAM

2 #define  DES_addr_in_ddr XPAR_DDR_MEM_BASEADDR+00x60000U

3 #define  FIR_addr_in_ddr XPAR_DDR_MEM_BASEADDR+10x60000U

4 #define  IIR_addr_in_ddr XPAR_DDR_MEM_BASEADDR+20x60000U

5 int main()

6 

7 //Initialize the base platform

8  init_platform();

9  init_devices();

10 // User code can be added here to manage the

       reconfiguration. An example code for configuring the

        DES module into the RR is as follows:

11 //    status = XDcfg_TransferBitfile(

12 //                   XDcfg_0,

13 //                   DES_addr_in_ddr,

14 //                   (BITFILE_LEN / 4));

15 // Check if the reconfiguration was successful

16 // if (status != XST_SUCCESS)

17 //    xil_printf("error!"); return XST_FAILURE;

18 //    xil_printf("DES is configured to the coprocessor!");

19     return  0;

20