CIRCT の階層化、合成可能、実行可能な形式的意味論

本論文は、CIRCT ハードウェア IR の初めての形式的意味論を提案する。この意味論は階層化されており、合成可能で実行可能である。