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