Disambiguation evidence for Cadence SMV via surface form

"Cadence SMV"

Triples (2)

Triples where some other subject referred to this entity as "Cadence SMV".

Symbolic Model Checking → usedInTool →
"Cadence SMV"
↳ resolves to Cadence SMV
ⓘ
SMV → relatedTo →
"Cadence SMV"
↳ resolves to Cadence SMV
ⓘ