Henry Cook

Senior Principal Engineer at SiFive

Berkeley, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
award
Top expert inDigital Hardware Design and Verification
Henry Cook is a Senior Principal Engineer with 15 years of experience designing and optimizing RISC-V processors and hardware design tooling, currently leading architecture and implementation efforts at SiFive in Berkeley. He brings deep expertise in microarchitecture, cache and branch-prediction design, and parallel software for multicore systems—work grounded in a PhD from UC Berkeley where he co-developed Chisel generators for RISC-V under Patterson and Asanović. His open-source contributions include performance-focused multithreading tests and matmul optimizations for RISC-V, substantive ICache/BTB improvements to the BOOM core, and core enhancements to the Chisel hardware language. Known for bridging research and production silicon, he combines compiler- and backend-level fluency with pragmatic engineering that improves both verification and runtime efficiency.
code15 years of coding experience
job17 years of employment as a software developer
bookDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of California, Berkeley
bookB.S., Computer Science, B.S., Computer Science at University of Virginia
github-logo-circle

Github Skills (24)

multithreading10
matrix-multiplication10
risc-v10
c1110
c1710
scala10
chisel10
rt10
firrtl9
sys9
embedded9
assembler8
compiler-construction8
parallel-computing8
assembly8

Programming languages (7)

JavaC++CScalaJavaScriptVerilogPython

Github contributions (5)

github-logo-circle
Role in this project:
userEmbedded Systems Engineer / IoT Developer
Contributions:8 commits in 1 year 6 months
Contributions summary:Henry primarily focused on developing and updating multithreading tests for the RISC-V software. They implemented and modified matrix multiplication (matmul) algorithms optimized for multi-core environments, including different versions for performance comparison. Code changes include modifications to data structures, barrier synchronization, and loop structures to improve thread utilization.
chipsalliance/chisel

Aug 2015 - Jul 2019

Chisel: A Modern Hardware Design Language
Role in this project:
userBackend Developer & Compiler Engineer
Contributions:20 reviews, 59 commits, 2 PRs in 4 years
Contributions summary:Henry made several contributions focused on improving the Chisel hardware design language. This involved refining the core Chisel library, including modifying permissions, updating test cases for compilation, and enhancing type safety within switch and is blocks. The user also worked on removing backend references, streamlining the driver, and improving macro hygiene.
rtlasicvhdllanguage-designeda
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Henry Cook - Senior Principal Engineer at SiFive