Achieving high coverage in hardware equivalence checking via concolic verification (Q6056637)

From MaRDI portal
Revision as of 03:14, 26 April 2024 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7757153
Language Label Description Also known as
English
Achieving high coverage in hardware equivalence checking via concolic verification
scientific article; zbMATH DE number 7757153

    Statements

    Achieving high coverage in hardware equivalence checking via concolic verification (English)
    0 references
    0 references
    0 references
    30 October 2023
    0 references
    concolic
    0 references
    equivalence
    0 references
    coverage
    0 references
    hardware
    0 references

    Identifiers