Skip to main content
Ecosystem News

Bluespec Returns From Landmark RISC-V Summit; CTO Nikhil Leads Discussion On ISA Formal Spec

Bluespec has just returned from the first-ever RISC-V Summit in Santa Clara, CA. Packed with over 1,100 attendees from more than 20 countries around the world, the attendance alone signals a seismic shift in RISC-V interest and global importance.

With extraordinary keynote presentations from Facebook, SiFive, and Western Digital, the summit was filled with thought leaders in the RISC-V community. Attending for Bluspec was CTO Rishiyur Nikhil, who was proud to serve as the formal chair for the summit’s lively technical session on ISA Formal Spec on Thursday, December 6th.

In a spirited “state of the union” on the topic, Nikhil explained the colossal shift of instruction set language from English to math, which has enabled a far more precise means of communicating RISC-V instructions. This, Nikhil informed the crowd, marks yet another massive change brought on by RISC-V, as it sweeps across the world, redefining how we build our future.

  To read more, please visit: https://www.prweb.com/releases/bluespec_returns_from_landmark_risc_v_summit_cto_nikhil_leads_discussion_on_isa_formal_spec/prweb16061404.htm.]]>