Cto
CurrentProduct technical leadership, technical evangelism, public technical stance for Bluespec, Inc.Current Bluespec products are targeted to the RISC-V ecosystem (CPU and SoC verification tools, CPU and SoC IP).Participation in RISC-V Foundation Technical Groups (ISA Formal Semantics (Chair), Memory Model, Debug, Security, Privilege Spec).