Works matching DE "COMPUTER hardware description languages"


Results: 187
    1
    2
    3
    4
    5

    Blueprint for logic.

    Published in:
    Electronics Systems & Software, 2006, v. 4, n. 3, p. 42, doi. 10.1049/ess:20060308
    By:
    • Sordoillet, J.;
    • Davey, S.
    Publication type:
    Article
    6

    Goodbye wires, hello objects.

    Published in:
    Electronics Systems & Software, 2005, v. 3, n. 6, p. 16, doi. 10.1049/ess:20050602
    By:
    • Sutherland, Stuart;
    • Tabbara, Bassam
    Publication type:
    Article
    7
    8
    9
    10

    Coverage metrics for formal verification.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 373, doi. 10.1007/s10009-004-0175-4
    By:
    • Chockler, Hana;
    • Kupferman, Orna;
    • Vardi, Moshe
    Publication type:
    Article
    11

    prialt in Handel-C: an operational semantics.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 248, doi. 10.1007/s10009-004-0181-6
    By:
    • Butterfield, Andrew;
    • Woodcock, Jim
    Publication type:
    Article
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42

    AUTOMATED DEBUGGING OF VERILOG DESIGNS.

    Published in:
    International Journal of Software Engineering & Knowledge Engineering, 2012, v. 22, n. 5, p. 695, doi. 10.1142/S0218194012500209
    By:
    • PEISCHL, BERNHARD;
    • RIAZ, NAVEED;
    • WOTAWA, FRANZ
    Publication type:
    Article
    43
    44
    45
    46
    47
    48
    49
    50

    Free Software Support for Compact Modelling with Verilog-A.

    Published in:
    Informacije MIDEM: Journal of Microelectronics, Electronic Components & Materials, 2024, v. 54, n. 4, p. 271, doi. 10.33180/InfMIDEM2024.404
    By:
    • Bűrmen, Árpád;
    • Tuma, Tadej;
    • Fajfar, Iztok;
    • Rojec, Janez Puhan,Žiga;
    • Kunaver, Matevž;
    • Tomažič, Sašo
    Publication type:
    Article