This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Hongce Zhang
A grouping.
Hongce Zhang: instruction-level abstraction in 2018, then the model-checking engine seam the corpus took in 2025-26 -- FRAIG-based BMC, forward reasoning, automated invariant generation. Four records.
3 references
FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
Ziyi Yang and others (2025)
FRAIG-BMC: Functional Reduction to Speed Up Bounded Model Checking
Changyuan Yu and others (2025)
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Bo-Yuan Huang and others (2018) · ACM Transactions on Design Automation of Electronic Systems · Association for Computing Machinery