Constrained symbolic simulation with mathematica and ACL2

G. Al Sammane, D. Toma, J. Schmaltz, P. Ostier, D. Borrione

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)

    Samenvatting

    We use symbolic simulation for the verification of high level circuit specifications. We combine Mathematica for algebraic computation and ACL2 for branching decision to increase the efficiency of the method.
    Originele taal-2Engels
    TitelCorrect Hardware Design and Verification Methods (12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings)
    RedacteurenD. Geist, E. Tronci
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's150-157
    ISBN van geprinte versie978-3-540-20363-6
    DOI's
    StatusGepubliceerd - 2003

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume2860
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Constrained symbolic simulation with mathematica and ACL2'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit