Robert Szafarczyk
@rob-sz.bsky.social
CS PhD student at the University of Glasgow. Compilers, computer architecture, FPGAs, HLS, Bluespec.
Maybe you already know this one, but the TLA language from Leslie Lamport and the associated tooling spring to mind. TLA was apparently an inspiration for the creators of Bluespec. IIRC there was a book on TLA, you can probably find it here
lamport.azurewebsites.net/tla/tla.html
lamport.azurewebsites.net/tla/tla.html
The TLA+ Home Page
lamport.azurewebsites.net
December 15, 2024 at 3:31 PM
Maybe you already know this one, but the TLA language from Leslie Lamport and the associated tooling spring to mind. TLA was apparently an inspiration for the creators of Bluespec. IIRC there was a book on TLA, you can probably find it here
lamport.azurewebsites.net/tla/tla.html
lamport.azurewebsites.net/tla/tla.html