Concepedia

Roope Kaivola

RK

5

Publications

115

Citations

5

H-Index

1995

Active since

Affiliations

Intel (United States)(Current)

Roope Kaivola is an author at Intel (United States) specializing in formal methods, engineering, and computer engineering.

Top concepts

EngineeringFormal MethodsVerificationComputer ScienceFormal VerificationComputer EngineeringProgram AnalysisHardware SecuritySoftware VerificationParallel Computing

Publications per year

1995–2013

5

Publications

5

Proof engineering in the large: formal verification of Pentium�4 floating-point divider

Roope Kaivola, Katherine Kohatsu · International Journal on Software Tools for Technology Transfer · 2003 · 36 citations

Hardware Security, Cryptographic Primitive, Engineering +12

Formal verification of iterative algorithms in microprocessors

Mark D. Aagaard, Robert B. Jones, Roope Kaivola et al. · 2000 · 29 citations · Full text

Engineering, Hardware Verification Language, Verification +17

Formal Verification of the Pentium® 4 Floating-Point Multiplier

Roope Kaivola, N. Narasimhan · Design, Automation, and Test in Europe · 2002 · 25 citations

Engineering, Hardware Verification Language, Multiplier Hardware +17

Relational STE and theorem proving for formal verification of industrial circuit designs

John O’Leary, Roope Kaivola, Tom Melham · 2013 · 13 citations

Engineering, Verification, Computer-aided Verification +17

On modal mu-calculus and Büchi tree automata

Roope Kaivola · Information Processing Letters · 1995 · 12 citations

Engineering, Automated Reasoning, Formal Methods +3

Rows per page

1–5 of 5