International Journal of Reconfigurable Computing / 2018 / Article / Lst 3

Research Article

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
5int main()
6
7//Initialize the base platform
8init_platform();
9init_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!");
19return  0;
20