A formal model of lower system layers

J. Schmaltz

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)

    Samenvatting

    We present a formal model of the bit transmission between registers with arbitrary clock periods. Our model considers precise timing parameters, as well as metastability. We formally define the behavior of registers over time. From that definition, we prove, under certain conditions, that data are properly transmitted. We discuss how to incorporate the model in a purely digital model. The hypotheses of our main theorem define conditions that must be satisfied by the purely digital part of the system to preserve correctness.
    Originele taal-2Engels
    TitelFormal Methods in Computer-Aided Design (6th International Conference, FMCAD'06, San Jose CA, USA, November 12-16, 2006. Proceedings)
    UitgeverijIEEE Computer Society
    Pagina's191-192
    ISBN van geprinte versie0-7695-2707-8
    DOI's
    StatusGepubliceerd - 2006

    Vingerafdruk Duik in de onderzoeksthema's van 'A formal model of lower system layers'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit