Login / Signup

Towards fully automated TLM-to-RTL property refinement.

Vladimir HerdtHoang M. LeDaniel GroßeRolf Drechsler
Published in: DATE (2018)
Keyphrases
  • fully automated
  • fully automatic
  • completely automated
  • semi automated
  • manual segmentation
  • labor intensive
  • image segmentation
  • image data