ABC

swMATH12910MaRDI QIDQ24833FDOQ24833

Author name not available (Why is that?)

Source code repository: https://github.com/berkeley-abc/abc

Cited In (39)

• SAT-Based Formula Simplification
• Boolean functional synthesis: hardness and practical algorithms
• The QBF Gallery: behind the scenes
• Encodings of Bounded Synthesis
• Practical synthesis of reactive systems from LTL specifications via parity games
• A temporal logic for asynchronous hyperproperties
• Progress in certifying hardware model checking results
• Verified cryptographic code for everybody
• Skolem functions for DQBF
• Automated and scalable verification of integer multipliers
• Advanced exact synthesis of Clifford+T circuits
• Advanced Boolean Techniques
• Compact and efficiently verifiable models for concurrent systems
• Shield synthesis
• Labelled interpolation systems for hyper-resolution, clausal, and local proofs
• Improving characteristics of LUT-based Mealy FSMs
• Automated formal analysis and verification: an overview
• Benchmarking a model checker for algorithmic improvements and tuning for performance
• Model Checking Data Flows in Concurrent Network Updates
• Verifying chemical reaction network implementations: a pathway decomposition approach
• Optimization techniques for Craig interpolant compaction in unbounded model checking
• Scaling up livelock verification for network-on-chip routing algorithms
• Title not available (Why is that?)
• Unified QBF certification and its applications
• Rewriting Environment for Arithmetic Circuit Verification
• Partial Order Reduction for Deep Bug Finding in Synchronous Hardware
• Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results
• Evaluating ESOP Optimization Methods in Quantum Compilation Flows
• Improving the LUT count for mealy FSMS with transformation of output collections
• Symbolic Trajectory Evaluation
• Transfer of Model Checking to Industrial Practice
• Ancilla-free synthesis of large reversible functions using binary decision diagrams
• SAT-Based Synthesis Methods for Safety Specs
• On compiling Boolean circuits optimized for secure multi-party computation
• Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT
• Cyclic-routing of unmanned aerial vehicles
• Symbolic trajectory evaluation for word-level verification: theory and implementation
• Verifying Deadlock-Freedom of Communication Fabrics
• Incremental column-wise verification of arithmetic circuits using computer algebra

This page was built for software: ABC