๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

โœ Scribed by Gao, Yanyan; Li, Xi


Book ID
121610738
Publisher
Springer US
Year
2013
Tongue
English
Weight
313 KB
Volume
29
Category
Article
ISSN
0923-8174

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES