Skip to content

Commit 998bce3

Browse files
Removed non UTF-8 characters (nice apostrophes) in Smdbltrp, Zce, and c.not descriptions causing conversion error in Ruby.
1 parent 786dc9f commit 998bce3

File tree

5 files changed

+12
-12
lines changed

5 files changed

+12
-12
lines changed

arch/ext/Smdbltrp.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ description: |
99
When the `Smrnmi` extension is implemented, it enables invocation of the RNMI handler on a
1010
double trap in M-mode to handle the critical error.
1111
If the `Smrnmi` extension is not implemented or if a double trap occurs during the RNMI
12-
handlers execution, this extension helps transition the hart to a critical error state and
12+
handler's execution, this extension helps transition the hart to a critical error state and
1313
enables signaling the critical error to the platform.
1414
1515
To improve error diagnosis and resolution, this extension supports debugging harts in a critical

arch/ext/Zce.yaml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,14 +11,13 @@ description: |
1111
* Specifying `Zce` on RV32 without `F` includes `Zca`, `Zcb`, `Zcmp`, `Zcmt`
1212
* Specifying `Zce` on RV32 with `F` includes `Zca`, `Zcb`, `Zcmp`, `Zcmt` and `Zcf`
1313
* Specifying `Zce` on RV64 always includes `Zca`, `Zcb`, `Zcmp`, `Zcmt`
14-
* `Zcf` doesnt exist for RV64
14+
* `Zcf` doesn't exist for RV64
1515
1616
Therefore common ISA strings can be updated as follows to include the relevant Zc extensions, for
1717
example:
1818
1919
* RV32IMC becomes RV32IM_Zce
2020
* RV32IMCF becomes RV32IMF_Zce
21-
2221
type: unprivileged
2322
company:
2423
name: RISC-V International

arch/inst/Zcb/c.not.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ name: c.not
66
long_name: Bitwise not, 16-bit encoding
77
description: |
88
This instruction takes a single source/destination operand.
9-
This instruction takes the ones complement of rd'/rs1' and writes the result to the same register.
9+
This instruction takes the one's complement of rd'/rs1' and writes the result to the same register.
1010
1111
definedBy:
1212
anyOf:

backends/certificate_doc/tasks.rake

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,8 @@ Dir.glob("#{$root}/arch/certificate_model/*.yaml") do |f|
2525
__FILE__
2626
] do |t|
2727
# TODO: schema validation
28-
base_cert_model = cfg_arch_for("rv#{base}").cert_model(cert_model_name)
28+
base_cfg_arch = cfg_arch_for("rv#{base}")
29+
base_cert_model = base_cfg_arch.cert_model(cert_model_name)
2930
raise "No certificate model named '#{cert_model_name}'" if base_cert_model.nil?
3031

3132
# Ask base certification model to create an in-memory config arch for this model.

backends/certificate_doc/templates/certificate.adoc.erb

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -116,10 +116,10 @@ Where:
116116
| Term | Meaning
117117

118118
| MANDATORY | You have to implement it to get a certificate and the certificate tests will cover it
119-
| OPTIONAL | Its up to you if you implement or not. If you claim to implement it, certificate tests will cover it
119+
| OPTIONAL | It's up to you if you implement or not. If you claim to implement it, certificate tests will cover it
120120
| IN-SCOPE | Either MANDATORY or OPTIONAL
121-
| OUT-OF-SCOPE | Its up to you if you implement or not. If you implement it, it won't be certified but make sure you dont mess up anything we are certifying.
122-
| INCOMPATIBLE | If you implement it you wont get a certificate
121+
| OUT-OF-SCOPE | It's up to you if you implement or not. If you implement it, it won't be certified but make sure you don't mess up anything we are certifying.
122+
| INCOMPATIBLE | If you implement it you won't get a certificate
123123
|===
124124

125125
.Glossary
@@ -187,7 +187,7 @@ Where:
187187

188188
The Priv ISA requires reads of WARL fields to return some implementation-dependent deterministic legal value
189189
after the field is written with an illegal value.
190-
Certifying such behaviors is expensive and provides low value for a certificate since software cant rely
190+
Certifying such behaviors is expensive and provides low value for a certificate since software can't rely
191191
on a particular behavior from one implementation to another.
192192

193193
Processor CRDs define writes to WARL fields of illegal values to be OUT-OF-SCOPE unless otherwise stated
@@ -200,7 +200,7 @@ The following special cases for WARL are supported when explicitly listed in the
200200
1. Probing for Field Width
201201

202202
* Some WARL fields are variable length such as the ASID field in the virtual memory extension.
203-
* Heres the algorithm recommended to discover the ASID width:
203+
* Here's the algorithm recommended to discover the ASID width:
204204
** The number of implemented ASID bits, termed ASIDLEN, may be determined by writing one to every bit position in
205205
the ASID field, then reading back the value in the satp CSR to see which bit positions in the ASID field hold a one.
206206
* The RVCP-provided certification materials (certification tests, certification reference models) can map writes of
@@ -219,7 +219,7 @@ The following special cases for WARL are supported when explicitly listed in the
219219

220220
The Priv ISA requires reads of WLRL fields to return some implementation-dependent deterministic arbitrary value
221221
after the field is written with an illegal value.
222-
Certifying such behaviors is expensive and provides low value for a certificate since software cant rely
222+
Certifying such behaviors is expensive and provides low value for a certificate since software can't rely
223223
on a particular behavior.
224224
Processor CRDs define writes to WLRL fields of illegal values to be OUT-OF-SCOPE unless otherwise stated
225225
(i.e., certification tests will only ever write legal values to WLRL fields).
@@ -231,7 +231,7 @@ Such WPRI fields are always unimplemented by definition.
231231
Certification tests are aware of which fields in the CSRs are WPRI and normally write them with 0 but will
232232
also write them with ~0 (all ones) and ensure that reads return 0 in both cases.
233233
It is OUT-OF-SCOPE for certification tests to write all possible values of WPRI fields
234-
(especially if they are more than just a few bits) and certification tests arent designed to be comprehensive
234+
(especially if they are more than just a few bits) and certification tests aren't designed to be comprehensive
235235
verification test suites anyways.
236236

237237
=== Related Specifications

0 commit comments

Comments
 (0)