Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modelling and Verification of Pipelined Micro-Architectures: Functional Approach


    Contributors:


    Publication date :

    2010-01-01


    Size :

    9 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    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 / AIAA | British Library Conference Proceedings | 2000


    Verifying a pipelined microprocessor

    Bickford, M. | IEEE | 2000