Skip to content

Commit

Permalink
update bib
Browse files Browse the repository at this point in the history
  • Loading branch information
ved-rivos committed Apr 10, 2024
1 parent 60e6542 commit 51eb08c
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 1 deletion.
5 changes: 5 additions & 0 deletions src/server_soc.bib
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,11 @@ @electronic{SEC
url = {https://github.com/riscv-non-isa/riscv-security-model},
year = {}
}
@electronic{UNPRIV,
title = {RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture},
url = {https://github.com/riscv/riscv-isa-manual},
year = {}
}
@electronic{PRIV,
title = {RISC-V Instruction Set Manual, Volume II: Privileged Architecture},
url = {https://github.com/riscv/riscv-isa-manual},
Expand Down
2 changes: 1 addition & 1 deletion src/server_soc_requirements.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
| CTI_010 | The `time` CSR MUST increment at a constant frequency and the count
MUST be in units of 1 ns. The frequency at which the CSR provides
an updated time value MUST be at least 100 MHz.
2+| _The Zicntr extension cite:[UNPRIV] requires the real-time clocks of all
2+a| _The Zicntr extension cite:[UNPRIV] requires the real-time clocks of all
harts to be synchronized to within one tick of the real-time clock._

| CTI_020 | The `time` counter MUST appear to be always on and MUST appear to
Expand Down

0 comments on commit 51eb08c

Please sign in to comment.