aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh7-287/+367
2021-11-10scalar-crypto: aesks1i clarificationsBen Marshall2-16/+20
2021-11-10scalar-crypto: whitespace consistency for SHA* instructionsBen Marshall1-6/+6
2021-11-10scalar-crypto: Consistent whitespace for ==Ben Marshall1-10/+10
2021-11-05Delete riscv_iris.sailMartin Berger1-1244/+0
2021-10-22Support D extension on RV32 (#108)Jessica Clarke4-104/+88
2021-10-18scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)Ben Marshall8-1/+956
2021-09-09Merge pull request #103 from PeterRugg/fix-rounding-modesJessica Clarke2-177/+284
2021-08-22Fix incorrect SV48_Vaddr bitfielddylux1-1/+1
2021-08-09Fix crash when fcsr.frm is invalidPeter Rugg2-177/+284
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton76-0/+5166
2021-07-16Add an extension point to allow validation of physical memory accesses.Robert Norton3-3/+36
2021-06-29vmem_rvNN: allow shimming underneath effectivePrivilegeNathaniel Wesley Filardo2-6/+12
2021-06-29vmem_svNN: Perform PTW accesses always as SupervisorNathaniel Wesley Filardo3-8/+8
2021-06-29riscv_mem: push effectivePermission to peripheryNathaniel Wesley Filardo1-27/+67
2021-06-29vmem_svNN: mem_read(Read(Data), ...) the PTEsNathaniel Wesley Filardo3-3/+3
2021-06-29effectivePrivilege: don't consult globalsNathaniel Wesley Filardo1-2/+2
2021-06-25Fix the non-RVFI_DII buildAlex Richardson1-4/+4
2021-06-25Merge pull request #76 from arichardson/rvfi-newRobert Norton6-64/+276
2021-06-21Merge pull request #85 from ybc-alkaid/pmpRobert Norton1-1/+1
2021-05-27Fix Error_not_implemented exception on lr.rl or sc.aq.Robert Norton1-12/+12
2021-05-21Extend LR / SC / AMO execute for unused widths.Robert Norton1-9/+23
2021-05-21Fix internal error caused by invalid LR / SC / AMO widths.Robert Norton1-6/+19
2021-03-19pmp: pmp address match misses some corner casesBicheng Yang1-1/+1
2021-03-16Also set the IXL field in the RVFI traceAlex Richardson1-0/+1
2021-03-16Fix sending version2 trace optional dataAlex Richardson1-6/+16
2021-03-16Report the current privilege level via RVFIAlex Richardson1-0/+1
2021-03-16Improvements to the version 2 RVFI trace formatAlex Richardson2-65/+71
2021-03-16Fix missing rvfi_halt field when converting v2 to v1 RVFI trace formatAlex Richardson1-0/+1
2021-03-16Add a -v rvfi flag to add RVFI debug loggingAlex Richardson1-3/+3
2021-03-16Initial implementation of new RVFI_DII socket formatAlex Richardson6-54/+247
2021-02-11Remove unused register files.Prashanth Mundkur2-4/+0
2021-02-11Make N extension configurable.Prashanth Mundkur2-1/+3
2021-02-11Merge pull request #81 from scottj97/sstatus-fixPrashanth Mundkur1-1/+1
2021-02-02Reformat excessively-long linesScott Johnson1-2/+8
2021-01-27MRET and SRET should increment minstret when successfulScott Johnson1-8/+6
2021-01-26Prevent CSRW to sstatus from modifying uie & upie if N-ext not presentScott Johnson1-1/+1
2020-11-30Ignore undefined bits in mstatus on writeAlex Richardson1-1/+6
2020-11-17Bug fix: when writing CSR sip, ignore attempt to change undelegated SSIPScott Johnson1-1/+1
2020-11-09Perform PTE checks on DII fetch (with jrtc27)Peter Rugg1-16/+23
2020-10-15Store PC in mtval on EBREAK to match a spec update.Prashanth Mundkur1-1/+1
2020-10-15Handle non-atomic but aligned writes to the 64-bit HTIF i/o port on RV32.Prashanth Mundkur1-28/+65
2020-09-22Handle empty predecessor or successor RW sets in FENCE as no-ops, as IO concu...Prashanth Mundkur1-2/+4
2020-09-04Handle hints explicitly in order to not trap on them.Prashanth Mundkur1-0/+158
2020-09-03Add the mstatush CSR for RV32, and hardwire the MBE and SBE fields to 0.Prashanth Mundkur3-0/+26
2020-08-25Implement mcountinhibit IR bit to squash minstret incrementScott Johnson1-1/+2
2020-08-25Allow CSR read/write to mcountinhibitScott Johnson1-0/+1
2020-08-25Add missing disassembler mapping for mcountinhibit CSRScott Johnson1-0/+1
2020-08-20Fix conditions CSR definedness. Fixes #65.Prashanth Mundkur1-11/+11
2020-06-30Merge pull request #64 from nwf:pte-check-split with minor edits.Prashanth Mundkur6-19/+46
generated by cgit v1.1 at 2024-10-20 01:23:57 +0000