The author describes the development of VIPER and points out some of the practical problems encountered over the four years of the project. Informal proofs of correctness, carried out in the early stages of the project, are outlined. A peer review group criticized the lack of multiplication and division instructions in VIPER 1. This deficiency is corrected in VIPER 2, and the performance is increased to 3 MIPs.<>


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Implementing high integrity systems: the VIPER microprocessor


    Contributors:


    Publication date :

    1989-06-01


    Size :

    566688 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Viper kommt. Chrysler Viper

    Chrysler,Dodge Div.,US | Automotive engineering | 2003


    Alt-Viper-Sommer. Impression:Chrysler Viper

    Eybl,E. / Chrysler,US | Automotive engineering | 1995



    Viper

    Gilbert, L. E. Paul / Berry, Cassie / Lamborn, Dana et al. | NTRS | 1993


    Viper

    L. E. P. Gilbert / C. Berry / D. Lamborn et al. | NTIS | 1993