CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination
Abstract elided by the publisher.
Related papers
- Phased synthesis of divide and conquer programs PLDI 2021
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition CAV 2022
- Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms TOPLAS 2024
- Synthesis of divide and conquer parallelism for loops PLDI 2017
- Divide and Conquer: A Compositional Approach to Game-Theoretic Security OOPSLA 2025
- Syntax-Directed Divide-and-Conquer Data-Flow Analysis APLAS 2014
- Synthesis of machine code from semantics PLDI 2015