Login / Signup

Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis.

Nicola BombieriFranco FummiValerio Guarnieri
Published in: VLSI-SoC (2010)
Keyphrases