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.
15 years of coding experience
17 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of California, Berkeley
B.S., Computer Science, B.S., Computer Science at University of Virginia
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.
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.