External Links

    Journal: IEEE Computer

    Volume 21, Issue 7

    8 -- 19Paolo Camurati, Paolo Prinetto. Formal Verification of Hardware Correctness: Introduction and Survey of Current Research
    21 -- 31Alan R. Hooton, Ulises Agüero, Subrata Dasgupta. An Exercise in Plausibility-Driven Design
    34 -- 45Peter Steenkiste, John L. Hennessy. Lisp on a Reduced-Instruction-Set Processor: Characterization and Optimization
    47 -- 55David J. Lilja. Reducing the Branch Penalty in Pipelined Processors
    runs on