A formal model of clock domain crossing and automated verification of time-triggered hardware

J. Schmaltz

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

    17 Citations (Scopus)
    Original languageEnglish
    Title of host publicationFormal Methods in Computer-Aided Design (7th International Conference, FMCAD'07, Austin TX, USA, November 11-14, 2007. Proceedings)
    PublisherIEEE Computer Society
    Pages223-230
    DOIs
    Publication statusPublished - 2007

    Cite this