Constrained symbolic simulation with mathematica and ACL2

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)


    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.
    Original languageEnglish
    Title of host publicationCorrect Hardware Design and Verification Methods (12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings)
    EditorsD. Geist, E. Tronci
    Place of PublicationBerlin
    ISBN (Print)978-3-540-20363-6
    Publication statusPublished - 2003

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Dive into the research topics of 'Constrained symbolic simulation with mathematica and ACL2'. Together they form a unique fingerprint.

    Cite this