[IEEE 2010 18th IEEE/IFIP International Conference on VLSI and System-on-Chip (VLSI-SoC) - Madrid, Spain (2010.09.27-2010.09.29)] 2010 18th IEEE/IFIP International Conference on VLSI and System-on-Chip - Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis
Bombieri, Nicola, Fummi, Franco, Guarnieri, ValerioYear:
2010
Language:
english
DOI:
10.1109/vlsisoc.2010.5642620
File:
PDF, 299 KB
english, 2010