Katherine Kohatsu is an author at Intel (United States) specializing in computer engineering, verification, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceHardware SecurityFormal VerificationComputer EngineeringCryptographyProgram AnalysisProof Complexity
Publications per year
2000–2003
2
2
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
Rows per page
1–2 of 2