Slides available here!


Speaker:

Rishiyur Nikhil, BlueSpec, USA

Title:

Bluespec BSV, the choice for CPU and SoC designers

Abstract:

Bluespec's BSV language and synthesis is used in dozens of projects for CPU and SoC modeling and design. BSV is chosen for a number of reasons. The core programming model (atomic transactional rules) provides natural and accurate expression of complex hardware structures, in a compositional and scalable manner. BSV provides the most powerful types and abstraction mechanisms of any hardware-synthesizable language, while retaining architectural predictability and synthesizability. Even high-level models are synthesizable, enabling FPGA execution from the earliest stages of architectural exploration and pre-silicon software development, all the way through to implementation (even for final ASIC targets). FPGA execution is three to four orders of magnitude faster than traditional Simulation.

Bio:

Rishiyur Nikhil is CTO and co-founder of Bluespec, Inc., his second startup company. He was educated at IIT Kanpur and University of Pennsylvania. He was a professor of EECS at MIT from 1984 to 1991, and a senior researcher at Digital Equipment Corp. until 2000. His interests and expertise include Functional Programming, High Performance Computing, Compilers, and the design of Complex Hardware Systems. He is a member of ACM, IEEE, and IFIP WG 2.8 (Functional Programming).



* If you wish to modify any information or update your photo, please contact the web chairmpsoc2014@imag.fr