Login / Signup

A framework for verification of SystemC TLM programs with model slicing: a case study.

Reza HajisheykhiMohammad RoohitavafAli EbnenasirSandeep S. Kulkarni
Published in: DAC (2016)
Keyphrases