In a former life (a long time ago), I used ELLA for designing processors. It was a pretty decent functional language. Great at abstracting components or subsystems and infinitely better than modelling stuff with C.

IIRC European Silicon Structures used to offer it as a part of their toolset when VLSI design was young and hot.

https://en.wikipedia.org/wiki/ELLA_%28programming_language%2...