Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation And Its Linkage With Concrete Hardware Verification At Netlist Level - Li, Yongjian; Cai, Zhenghai; Wang, Bow-Yaw; Zhao, Yongxin (Formal aspects of computing, 2025)
Keywords: Theory of computation; Verification by model checking; (generalized) symbolic trajectory evaluation; Parameterized verification; model checking; theorem proving