Login / Signup

Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis.

Nicola BombieriFranco FummiValerio GuarnieriGraziano PravadelliSara Vinco
Published in: MTV (2012)
Keyphrases
  • model based diagnosis
  • high level
  • information retrieval
  • neural network
  • image processing
  • website
  • similarity measure
  • formal analysis