v0.25.0

Added

• axi_xbar: Add parameter to disable support for atomic operations (ATOPs).

Changed

• AXI_BUS, AXI_BUS_ASYNC, AXI_BUS_DV, AXI_LITE, and AXI_LITE_DV: Change type of every
  parameter from int to int unsigned. An unsigned type is more appropriate, because none of
  those parameters can actually take a negative value, and it improves compatibility with some
  tools.
• axi_test::rand_axi_lite_slave and axi_test::rand_axi_lite_master: Change type of address and
  data width parameters (AW and DW) from int to int unsigned. Same rationale as for
  AXI_BUS (et al.) above.

Fixed

• axi_demux: Break combinatorial simulation loop.
• axi_xbar: Improve compatibility with vsim version 10.6c (and earlier) by introducing a
  workaround for a tool limitation (#133).
• tb_axi_lite_regs: Removed superfluous hardcoded assertion.
• Improve compatibility with Vivado XSim by disabling formal properties in axi_demux,
  axi_err_slv, and axi_xbar if XSIM is defined.