Disambiguation evidence for IC3 model checking algorithm via surface form
"IC3/PDR in hardware verification community"
Triples (1)
Triples where some other subject referred to this entity
as "IC3/PDR in hardware verification community".
IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness
→
alsoKnownAs
→
"IC3/PDR in hardware verification community"
ⓘ
↳ resolves to IC3 model checking algorithm