1. 29 9月, 2020 1 次提交
  2. 28 9月, 2020 4 次提交
  3. 27 9月, 2020 2 次提交
    • W
      Difftest: update disambiguate implemention · 3ea2dc00
      William Wang 提交于
      * By default, NEMU will NOT run in disambiguate mode
      * Disambiguate mode is controlled by macro in /include/isa/riscv64.h
      
      * Normal mode does not care about microarchitectural PF
      * FORCE_RAISE_PF will force NEMU to raise a PF when processor raises PF
      * ENABLE_DISAMBIGUATE will automatically judge if current PF is legal
      
      * Warning: ENABLE_DISAMBIGUATE needs to run rtl_sfence, which severely
      slows down NEMU simulation
      3ea2dc00
    • W
      Difftest: add xtval to snapshot · 59205afb
      William Wang 提交于
      59205afb
  4. 25 9月, 2020 2 次提交
  5. 24 9月, 2020 2 次提交
  6. 23 9月, 2020 3 次提交
  7. 20 9月, 2020 3 次提交
  8. 18 9月, 2020 3 次提交
  9. 17 9月, 2020 1 次提交
  10. 15 9月, 2020 1 次提交
  11. 12 9月, 2020 2 次提交
  12. 07 9月, 2020 1 次提交
  13. 26 7月, 2020 2 次提交
  14. 22 7月, 2020 2 次提交
  15. 11 7月, 2020 1 次提交
  16. 07 7月, 2020 3 次提交
  17. 27 6月, 2020 1 次提交
  18. 24 6月, 2020 2 次提交
  19. 24 5月, 2020 3 次提交
  20. 23 5月, 2020 1 次提交
    • Z
      monitor,difftest,ref: create address space for dummy serial · 593e80dc
      Zihao Yu 提交于
      * SDI can not distinguish I/O accessing. Therefore, REF may execute
        instructions accessing devices. We should add dummy address spaces to
        receive the write. But reads from device are not supported.
      * For SDI, now the backend will map 0xa10003f8 to two different I/O
        spaces. Only the first one will be returned by find_mapid_by_addr().
        So we should also call backend_init_device() before backend_init() to
        let find_mapid_by_addr() return the real serial instead of the dummy
        serial.
      593e80dc