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.


Murali Vijayaraghavan
Principal Engineer at SiFive


Murali has been working on formal verification of hardware systems. His technique is based on the proof-assistant based methodology using higher-order logic that enables scaling of the verification technique to realistic systems and generators. He is a now principal engineer at SiFive, into which he brought his ideas from MIT where he obtained his PhD.

Agenda Sessions

  • Introducing Scalable New Core IP for Mission Critical Use