tree 685b74d0b86e3229cd595f35a7eeeb6f72a70579
parent 39a161ca0b483c422a8457e324b7921a1ea2f923
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1622017480 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1622720928 +0100

[otbn,dv] Copy, rather than reference, insn-specific coverage points

This document was trying avoid duplication, so it tried to say things
like "ADDI has the same addition-related coverage points as ADD". This
has confused one reviewer already, and probably makes things harder to
track. Do the copy-paste.

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>