PV5 ABCversatile verification and synthesis arsenal

A System for Sequential Synthesis and Verification

Application domain/field

Type of tool

Framework for synthesis and verification of Boolean networks

Expected input

Binary logic circuit/network


Expected output

The output can be given in many different formats:


ABC implements several different techniques including: All of this is applied to boolean networks, i.e. directed acyclic graphs (DAGs).
Framework Model checking Synthesis


Related papers

ABC: An Academic Industrial-Strength Verification Tool (CAV '10)

Related tools


ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.