@misc{indiciaefde78cc97518,
  title = {K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs},
  author = {Jianhong Zhao and Jinhui Kang and Yongwang Zhao},
  year = {2024},
  url = {https://arxiv.org/abs/2404.18756},
  note = {Source identifier: 2404.18756}
}