Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modelling and Verification of Pipelined Micro-Architectures: Functional Approach


    Beteiligte:
    Merniz, S. (Autor:in) / Benmohammed, M. (Autor:in)


    Erscheinungsdatum :

    01.01.2010


    Format / Umfang :

    9 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    004.16




    Formal verification of layered sensing architectures

    Tyler, B / Langdon, A / Chawla, P | IEEE | 2010


    Modelling of Systems Architectures

    Seabridge, Allan / Radaei, Mohammad | Wiley | 2022


    Verifying a pipelined microprocessor

    Bickford, M. | IEEE | 2000