NASA's Copilot (not to be confused with Microsoft or GitHub Copilot): "a language and framework to program hard-realtime, embedded systems ... supports temporal logic (LTL, PTLTL and MTL), clocks, voting algorithms and state machines, as well as general purpose algorithms."

(has a back-end to generate #Bluespec)

https://tinyurl.com/3868ef6z

Next week, Wed Oct 22, 8:30am-10:30am: my tutorial at Developer's Day at #RISCV Summit:

"Learn to Design and Verify a 6-stage pipelined RISC-V CPU"
https://tinyurl.com/5dxbdp54
https://tinyurl.com/4pxdbpwj
https://github.com/rsnikhil/Learn_Bluespec_and_RISCV_Design

#Bluespec

#MIPS is acquired by #GlobalFoundries:

https://www.eetimes.com/mips-ceo-acquisition-by-globalfoundries-strengthens-edge-ai-opportunity/

No word in this announcement about planned restructuring, if any.

Many of the engineers who learned about designing RISC-V CPUs, and learned hardware coding in #Bluespec #BSV, while working on the "#Vega" processor line at #CDAC in Thiruvananthapuram in India, had been hired away by MIPS in India. Hope they are not facing disruption.

I was curious about #Bluespec but I couldn't find even a "blink LED" example, so I finally wrote my own. This doesn't show any of the strengths of Bluespec, but this does blink LEDs (on the #ULX3S #FPGA dev kit). The generated #Verilog looks fine.

https://github.com/tommythorn/bluespec_blink

#RISCV
Congratulations to #IITMadras #RaftarRacing ( https://www.raftarformularacing.com ), placing 3rd overall (and high in individual categories as well) in their first entry into the "Formula Bharath" electric racing car competition ( https://www.formulabharat.com/ ) a few weeks ago in Coimbatore, India. Way to go! Next stop: Germany in August!

Raftar's ECU (Engine Control Unit) is an FPGA-based Open-Source #Shakti RISC-V CPU from IITM ( https://shakti.org.in ). Coded in #Bluespec #BSV, of course!

RT from Rishiyur Nikhil now on Mastodon (@RSNikhil)

1/2 "Building SHAKTI Microprocessor", Kamakoti Veezhinathan, CACM Nov 2022 https://tinyurl.com/4ee758dj #Bluespec #BSV #RISCV

Original tweet : https://twitter.com/RSNikhil/status/1590053068548472833