TY  - RPRT
TI  - K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
AU  - Jianhong Zhao
AU  - Jinhui Kang
AU  - Yongwang Zhao
PY  - 2024
UR  - https://arxiv.org/abs/2404.18756
ID  - 2404.18756
ER  -