Veryl 0.20.0: logic synthesis and type inference are supported · HackerTrans