Cover Image

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yang, Ziyi, Hu, Guangyu, Zhou, Xiaofeng, Miao, Mingkai, Yu, Changyuan, Zhang, Wei, Zhang, Hongce
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
by: Zhou, Xiaofeng, et al.
Published: (2026)

Functional Reduction to Speed Up Bounded Model Checking
by: Yu, Changyuan, et al.
Published: (2025)

Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
by: Wang, Jingren, et al.
Published: (2026)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
by: Chen, Chen, et al.
Published: (2025)

Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)

Formal Verification of the Empty Hexagon Number
by: Subercaseaux, Bernardo, et al.
Published: (2024)

Formal Verification of Probing Security via Conditional Independence
by: Kura, Satoshi, et al.
Published: (2026)

Formal Verification of the Safegcd Implementation
by: O'Connor, Russell, et al.
Published: (2025)

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Bacci, Giorgio, et al.
Published: (2025)

Pseudo-Formalization for Automatic Proof Verification
by: Barkallah, Slim, et al.
Published: (2026)

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
by: Coglio, Alessandro, et al.
Published: (2025)

Formalizing UML State Machines for Automated Verification -- A Survey
by: André, Étienne, et al.
Published: (2024)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
by: Choton, Jahid Chowdhury, et al.
Published: (2024)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
by: Cristiá, Maximiliano, et al.
Published: (2025)

On Improving Deep Active Learning with Formal Verification
by: Spiegelman, Jonathan, et al.
Published: (2025)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
by: Beers, Adrian, et al.
Published: (2025)

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking
by: Miao, Mingkai, et al.
Published: (2026)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
by: Kaufmann, Daniela, et al.
Published: (2024)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
by: Altuntas, Alper, et al.
Published: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
by: Wojtak, Connor, et al.
Published: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Smart Contracts Formal Verification: A Systematic Literature Review
by: Davila, Rene, et al.
Published: (2025)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
by: Singh, Vikash, et al.
Published: (2026)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
by: Ukhanov, Evgeny
Published: (2025)

Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification
by: Strauch, Tobias
Published: (2025)

Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
by: Yang, Bowen, et al.
Published: (2026)

Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4
by: Mayeux, Arnaud, et al.
Published: (2026)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
by: Dantas, Pierre, et al.
Published: (2026)

Formal Verification of Diffusion Auctions
by: Galimullin, Rustam, et al.
Published: (2025)

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
by: Zhou, Xiaofeng, et al.
Published: (2026)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

Translating Informal Proofs into Formal Proofs Using a Chain of States
by: Wang, Ziyu, et al.
Published: (2025)

Tools at the Frontiers of Quantitative Verification
by: Andriushchenko, Roman, et al.
Published: (2024)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
by: Karimov, Toghrul
Published: (2024)