Works matching DE "RTL (Computer program language)"


Results: 25
    1
    2
    3
    4

    Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.

    Published in:
    Journal of Electronic Testing, 2015, v. 31, n. 2, p. 167, doi. 10.1007/s10836-015-5514-8
    By:
    • Bombieri, Nicola;
    • Fummi, Franco;
    • Guarnieri, Valerio;
    • Pravadelli, Graziano;
    • Stefanni, Francesco;
    • Ghasempouri, Tara;
    • Lora, Michele;
    • Auditore, Giovanni;
    • Marcigaglia, Mirella
    Publication type:
    Article
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25