Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation And Its Linkage With Concrete Hardware Verification At Netlist Level

Open Webpage

Yongjian Li, Zhenghai Cai, Bow-Yaw Wang, Yongxin Zhao

Published: 2025, Last Modified: 06 Jan 2026Formal Aspects Comput. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0