ABC
From MaRDI portal
Software:24833
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