-
InCore Semiconductors Pvt. Ltd
- Chennai,India
- https://incoresemi.com
Rishiyur S. Nikhil
rsnikhil
Hardware design: mostly RISC-V, mostly using Bluespec BSV.
Also Haskell, RISC-V Formal Specifications, tutorials.
Bluespec, Inc. Framingham, MA, USA