Veryl 0.20.0: logic synthesis and type inference are supported
veryl-lang.org