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

Nicola Bombieri, Franco Fummi, Valerio Guarnieri (2010)

Details and statistics

DOI: 10.1109/VLSISOC.2010.5642620

access: closed

type: Conference or Workshop Paper

metadata version: 2017-06-05