collaborators

1 paper

cs.SE2024

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs

Jianhong Zhao, Jinhui Kang, Yongwang Zhao

CIRCT, an open-source EDA framework akin to LLVM for software, is a foundation for various hardware description languages. Despite its crucial role, CIRCT's lack of formal semantic…