Login / Signup
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis.
Nicola Bombieri
Franco Fummi
Valerio Guarnieri
Graziano Pravadelli
Sara Vinco
Published in:
MTV (2012)
Keyphrases
</>
model based diagnosis
high level
information retrieval
neural network
image processing
website
similarity measure
formal analysis