RISC-V Summit is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 3099067.

Informa

Rishiyur Nikhil
CTO at Bluespec, Inc.

Profile

Interests span full systems, from formal methods and high-level programming languages do CPU and system architectures.

Agenda Sessions

  • A Tour of the RISC-V ISA Formal Specification

    9:00am