A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs

Yanyan Gao, Xi Li. A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs. J. Electronic Testing, 29(5):685-695, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.