Automated and scalable verification of integer multipliers (Q2225123)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated and scalable verification of integer multipliers
scientific article

    Statements

    Automated and scalable verification of integer multipliers (English)
    0 references
    0 references
    0 references
    0 references
    4 February 2021
    0 references
    0 references
    multipliers
    0 references
    hardware verification
    0 references
    formal methods
    0 references
    ACL2
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references