Slides available here!


Rishiyur Nikhil, BlueSpec, USA


Bluespec BSV, the choice for CPU and SoC designers


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.


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