Shizuku is a backend & runtime for static verilog code. - View it on GitHub