researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: IEEE Computer
Home
Index
Info
Issue
Volume
21
, Issue
7
8
--
19
Paolo Camurati
,
Paolo Prinetto
.
Formal Verification of Hardware Correctness: Introduction and Survey of Current Research
21
--
31
Alan R. Hooton
,
Ulises Agüero
,
Subrata Dasgupta
.
An Exercise in Plausibility-Driven Design
34
--
45
Peter Steenkiste
,
John L. Hennessy
.
Lisp on a Reduced-Instruction-Set Processor: Characterization and Optimization
47
--
55
David J. Lilja
.
Reducing the Branch Penalty in Pipelined Processors