Skip to content

fix(spec): Remove broken reference in decode.typ #237

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
cdesaintguilhem wants to merge 1 commit into from
Closed

fix(spec): Remove broken reference in decode.typ #237

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions spec/decode.typ
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ Empty rows with the following content can be added to achieve this:
#render_chip_padding_table(chip, config)

Note that this row sets the `EBREAK` flag.
Given that `CPU` asserts that `EBREAK = 0` (see @cpu:c:ebreak_traps), using this "padding-instruction" would immediately make the CPU table unprovable.
Given that `CPU` asserts that `EBREAK = 0` (see INSERT REF TO CPU EBREAK TRAPS), using this "padding-instruction" would immediately make the CPU table unprovable.
Note moreover that the `pc` is set to $7$.
This value is the _smallest odd number_ (i.e., not reachable during regular execution) that is more than _$4$_ (i.e., the max `pc`-increment) greater than _$1$_ (i.e., the `pc`-value used in the #link(<cpu-padding-decode-row>)[additional instruction] referred to by `CPU`-padding lines).

Expand Down Expand Up @@ -223,4 +223,4 @@ In addition to decoding all instructions provided in the ELF and adding a corres
Note that this will never conflict with any entry in the ELF, since it has an odd `pc` value.

This entry is used to pad the `CPU` table.
More details on this matter are provided in the `CPU` chip.
More details on this matter are provided in the `CPU` chip.