A denotational model and composition theorems of delay-insentive specifications

Paulus Lucassen

    Research output: ThesisThesis fully internal (DIV)

    72 Downloads (Pure)

    Abstract

    Vertragingsongevoelige algebra is een formalisme dat gebruikt kan worden bij het specificeren, ontwerpen en verifiëren van een bepaald type digitale electronische circuits, namelijk vertragingsongevoelige circuits. In dit proefschrift wordt een denotationeel model waarmee de correctheid van de wetten van deze algebra wordt bewezen. Verder worden een aantal compositie-stellingen afgeleid die het praktisch gebruik van vertragingsongevoelige algebra vergemakkelijken. Het nut van deze stellingen wordt getoetst door het beschouwen van een ruim aantal voorbeelden en een casus van gemiddelde complexiteit. In het navolgende wordt het een en ander verduidelijkt. ... Zie: Samenvatting
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • University of Groningen
    Supervisors/Advisors
    • Renardel de Lavalette, Gerard, Supervisor
    Award date16-May-1994
    Place of PublicationGroningen
    Publisher
    Publication statusPublished - 1994

    Keywords

    • Proefschriften (vorm)
    • Schakeltechniek, Vertraging, Ontwerpen, Wiskundige methoden
    • geeintegreerde schakelingen
    • toepassingen van de wiskunde

    Cite this