Extending support for ZCU102 board
This merge request extends the support of the ZCU102 board and includes some minor reformatting:
- It includes automatic configuration of the AXI4Lite address width based on the board type. In fact the ZC70 board has a 32bit address while the ZCU102 has a 40bit address.
- It reworks the definition of the AXI4Lite bus record for a better readability
- It accommodates for the bus record changes in the corresponding cocotb simulation calls
- It improves the efficiency of the CI/CD and includes support for ZCU102 board
Edited by Younes Otarid