You know, with meltdown and spectre using CPU processing side-effects, maybe we'll see some of those functional programming fanatics trying to write verilog without side effects...
I also wonder how possible that'd be and how performant it'd be...
If someone does this, please let me know. I'd be very interested in the results.