K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs. - Jianhong Zhao; Jinhui Kang; Yongwang Zhao (CoRR, 2024)