Formal Verification | Guangyu HUhttps://guangyuhu.me/tag/formal-verification/Formal VerificationWowchemy (https://wowchemy.com)en-us© 2026 Guangyu HuSun, 01 Nov 2026 00:00:00 +0000https://guangyuhu.me/media/icon_hu6538e1dfe75408a7f53e3e32c6b9c68d_2141_512x512_fill_lanczos_center_2.pngFormal Verificationhttps://guangyuhu.me/tag/formal-verification/Forbench: Symbolic Simulation Helps Make Your Testbench More Formalhttps://guangyuhu.me/publication/iccad26-forbench/Sun, 01 Nov 2026 00:00:00 +0000https://guangyuhu.me/publication/iccad26-forbench/IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checkinghttps://guangyuhu.me/publication/ijcai26-ic3-evolve/Sat, 01 Aug 2026 00:00:00 +0000https://guangyuhu.me/publication/ijcai26-ic3-evolve/A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checkinghttps://guangyuhu.me/publication/cav26-a-ic3/Wed, 01 Jul 2026 00:00:00 +0000https://guangyuhu.me/publication/cav26-a-ic3/LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checkinghttps://guangyuhu.me/publication/dac26-legend/Mon, 01 Jun 2026 00:00:00 +0000https://guangyuhu.me/publication/dac26-legend/AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designshttps://guangyuhu.me/publication/fccm26-autoinv/Fri, 01 May 2026 00:00:00 +0000https://guangyuhu.me/publication/fccm26-autoinv/AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checkinghttps://guangyuhu.me/publication/iseda26-autopdr/Fri, 01 May 2026 00:00:00 +0000https://guangyuhu.me/publication/iseda26-autopdr/FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweepinghttps://guangyuhu.me/publication/date26-forword/Wed, 01 Apr 2026 00:00:00 +0000https://guangyuhu.me/publication/date26-forword/Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting Stateshttps://guangyuhu.me/publication/iccd25-hot-fv/Sat, 01 Nov 2025 00:00:00 +0000https://guangyuhu.me/publication/iccd25-hot-fv/DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Predictionhttps://guangyuhu.me/publication/aspdac24-deepic3/Mon, 01 Jan 2024 00:00:00 +0000https://guangyuhu.me/publication/aspdac24-deepic3/NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checkinghttps://guangyuhu.me/publication/mlcad23-neuropdr/Fri, 01 Sep 2023 00:00:00 +0000https://guangyuhu.me/publication/mlcad23-neuropdr/r-map: Relating Implementation and Specification in Hardware Refinement Checkinghttps://guangyuhu.me/publication/tcad23-r-map/Sat, 01 Jul 2023 00:00:00 +0000https://guangyuhu.me/publication/tcad23-r-map/