Login / Signup

From visual to logical formalisms for SoC validation.

Ranan FraerDoron KerenZurab KhasidashviliAlexander NovakovskyAvi PuderEli SingermanEran TalmorMoshe Y. VardiJin Yang
Published in: MEMOCODE (2014)
Keyphrases
  • logical representation
  • high level
  • knowledge representation
  • visual features
  • visual information
  • low power
  • visual cues
  • spatial relations
  • representing knowledge