Registered user since Sun 9 Aug 2020
Rishiyur Nikhil is CTO and co-founder of Bluspec, Inc., where he promotes high-level languages and methodologies for the design and verification of complex digital hardware. He is a key contributor to the BSV and BH open-source High-Level Hardware Design Languages and their applications, which use ideas from Haskell and atomic rule-based specs. He has created several open-source RISC-V CPU and System designs, and chaired the RISC-V Foundation’s technical group that selected the RISC-V ISA formal spec in Sail. His degrees are from U. Pennsylvania (CS MSEE and PhD) and IIT Kanpur (EE BTech). His interests and R&D career (at MIT, Digital Equipment Corp. and some startups) span full systems, from formal methods and high-level programming languages to CPUs and system micro-architectures.
Contributions