Disambiguation evidence for SystemVerilog via surface form

"SVA (SystemVerilog Assertions)"

Triples (1)

Triples where some other subject referred to this entity as "SVA (SystemVerilog Assertions)".

LTL → usedInStandard →
"SVA (SystemVerilog Assertions)"
↳ resolves to SystemVerilog
ⓘ