Buchumschlag

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Xindi, Ye, Furong, Chen, Zhihan, Cai, Shaowei
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science F.4.1; F.3.1; B.6.3; I.2.2; I.2.8; D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

A Sequent Calculus for General Inductive Definitions
von: Eede, Robbe Van den, et al.
Veröffentlicht: (2026)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
von: Klaus, Natalia, et al.
Veröffentlicht: (2026)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
von: Arndt, Dörthe, et al.
Veröffentlicht: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2026)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2019)

Comparing State-Representations for DEL Model Checking
von: Behnke, Gregor, et al.
Veröffentlicht: (2025)

Converting BPMN Diagrams to Privacy Calculus
von: Pitsiladis, Georgios V., et al.
Veröffentlicht: (2024)

Test Case Features as Hyper-heuristics for Inductive Programming
von: McDaid, Edward, et al.
Veröffentlicht: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
von: Waldinger, Richard
Veröffentlicht: (2025)

Uniform Substitution for Differential Refinement Logic
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2024)

TPTP World Infrastructure for Non-classical Logics
von: Steen, Alexander, et al.
Veröffentlicht: (2025)

Locality in Residuated-Lattice Structures
von: Carr, James
Veröffentlicht: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

"What Is It That You Don't Understand?" Language Games and Black Box Algorithms
von: Demichelis, Remy
Veröffentlicht: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Robust Computation Tree Logic
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
von: Catta, Davide, et al.
Veröffentlicht: (2026)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
von: McDaid, Edward, et al.
Veröffentlicht: (2025)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
von: Kadaboina, Ravi Kiran
Veröffentlicht: (2026)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
von: McCann, Alan L.
Veröffentlicht: (2026)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
von: Kesseli, Pascal, et al.
Veröffentlicht: (2025)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
von: Sundaram, Aarthi, et al.
Veröffentlicht: (2021)

Provably Correct Systems: Community, connections, and citations
von: Bowen, Jonathan P.
Veröffentlicht: (2015)

Logic interpretations of ANN partition cells
von: Schmitt, Ingo
Veröffentlicht: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
von: Lin, Hongyu, et al.
Veröffentlicht: (2026)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

Mechanized HOL Reasoning in Set Theory
von: Guilloud, Simon, et al.
Veröffentlicht: (2024)

Incomplete Descriptions and Qualified Definiteness
von: Więckowski, Bartosz
Veröffentlicht: (2024)

Term Orders for Optimistic Lambda-Superposition
von: Bentkamp, Alexander, et al.
Veröffentlicht: (2025)

Metric Equational Theories
von: Mardare, Radu, et al.
Veröffentlicht: (2025)

Canonical for Automated Theorem Proving in Lean
von: Norman, Chase, et al.
Veröffentlicht: (2025)

Implementing Dependent Type Theory Inhabitation and Unification
von: Norman, Chase, et al.
Veröffentlicht: (2026)

Generative Fractional Diffusion Models
von: Nobis, Gabriel, et al.
Veröffentlicht: (2023)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2025)