Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Assertion mining"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41:4277-4288
Publikováno v:
2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC).
Autor:
Bosio, Alberto, Bragaglio, Moreno, Germiniani, Samuele, Mori, Samuele, Pravadelli, Graziano, Traiola, Marcello
Publikováno v:
LATS 2022-IEEE 23rd Latin American Test Symposium
LATS 2022-IEEE 23rd Latin American Test Symposium, Sep 2022, Montevideo, Uruguay. pp.1-6, ⟨10.1109/LATS57337.2022.9936945⟩
LATS 2022-IEEE 23rd Latin American Test Symposium, Sep 2022, Montevideo, Uruguay. pp.1-6, ⟨10.1109/LATS57337.2022.9936945⟩
International audience; Approximate Computing (AxC) aims at optimizing the hardware resources in terms of area and power consumption at the cost of a reasonable degradation in computation accuracy. Several design exploration approaches and metrics ha
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
FDL
We present a three-step flow to improve Assertion-based Verification methodology with integrated RTL-to-TLM abstraction: First, an automatic assertion miner generates a large set of possible assertions from an RTL design. Second, automatic assertion
Publikováno v:
DAC
Different mining approaches have been proposed in literature for the automatic generation of temporal assertions from execution traces of digital systems. However, in most cases, existing tools can only mine assertions compliant with a limited set of
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.