This project is mirrored from https://gitee.com/gongwenhong/axi-pulp.git. Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
  1. 13 Apr, 2021 1 commit
  2. 01 Feb, 2021 7 commits
  3. 30 Jan, 2021 1 commit
  4. 29 Jan, 2021 4 commits
  5. 21 Jan, 2021 1 commit
  6. 19 Jan, 2021 5 commits
  7. 15 Jan, 2021 3 commits
  8. 14 Jan, 2021 3 commits
  9. 13 Jan, 2021 3 commits
    • Olof Kindgren's avatar
      axi_demux: Break combinatorial simulation loop · e1722178
      Olof Kindgren authored
      
      Combinatorial processes without explicit XXX can cause circular
      dependencies which causes simulators to endlessly reschedule
      a loop.  Different tools have different heuristics for detecting
      this and breaking up loops.  This isn't an exact science, but the
      following changes seems to avoid an endless loop under Vivado XSim.
      
      Note: There is a small behavioural change in the code:
      
      If `ax_valid` is asserted while `ax_select >= NoMstPorts` (where `x`
      is `r` or `w`), the behaviour is undefined.  In the old code this would
      just not assert the `ax_ready` flag.  This is only an issue if
      `ax_select` for some reason gets out of bound, which probably causes
      other issues.
      
      On the upside, the new code likely uses slightly less logic.  If the
      old behaviour is required, a check to see that the select signal is
      in range could be added.  Alternatively, this could be added as an
      assertion.
      Signed-off-by: default avatarOlof Kindgren <olof.kindgren@gmail.com>
      e1722178
    • Olof Kindgren's avatar
      Disable formal properties for Vivado XSim · 7997b958
      Olof Kindgren authored
      
      Just like Verilator, Vivado XSim does not handle the `iff` properties.
      This patch wraps these properties into `ifndef XSIM` .. `endif`.
      Signed-off-by: default avatarOlof Kindgren <olof.kindgren@gmail.com>
      7997b958
    • Olof Kindgren's avatar
      d033eddd
  10. 12 Jan, 2021 2 commits
  11. 11 Jan, 2021 4 commits
  12. 04 Nov, 2020 3 commits
  13. 27 Oct, 2020 3 commits