Just found this project:
Hardware description language built on Rhombus.
Created by Jerry Zhao, hardware engineer at OpenAI.
Example:
#lang rhodium
circuit Adder(width :: PosInt):
input(a, b): Bits(width)
output sum: Bits(width)
sum <== a + b
def program = elaborate(Adder(8))
export:
Adder
program