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

Jianhong Zhao Jinhui Kang Yongwang Zhao

Published in: CoRR (2024)

Keyphrases

formal semantics
er model
first order logic
logical language
formal language
modeling language
operational semantics
modelling language
logical reasoning
speech acts
formal specification
databases
case study
open source