berkeley-abc - ABC - A System for Sequential Synthesis and Verification

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name berkeley-abc
Package version 1.01+20140822hg4d547a5+dfsg
Package release 1+deb8u1
Package architecture amd64
Package type deb
Installed size 9.75 KB
Download size 2.81 MB
Official Mirror
This is a growing software system for synthesis and verification of binary
sequential logic circuits appearing in synchronous hardware designs. ABC
combines scalable logic optimization based on And-Inverter Graphs (AIGs),
optimal-delay DAG-based technology mapping for look-up tables and standard
cells, and innovative algorithms for sequential synthesis and verification.
ABC provides an experimental implementation of these algorithms and a
programming environment for building similar applications. Future development
will focus on improving the algorithms and making most of the packages
stand-alone. This will allow the user to customize ABC for their needs as if
it were a tool-box rather than a complete tool.


Package Version Architecture Repository
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_i386.deb 1.01+20140822hg4d547a5+dfsg i386 Debian Main
berkeley-abc - - -


Name Value
libbz2-1.0 -
libc6 >= 2.14
libreadline6 >= 6.0
zlib1g >= 1:1.1.4


Type URL
Binary Package berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb
Source Package berkeley-abc

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install berkeley-abc deb package:
    # sudo apt-get install berkeley-abc




2015-05-26 - Ruben Undheim <>
berkeley-abc (1.01+20140822hg4d547a5+dfsg-1+deb8u1) stable-proposed-updates; urgency=medium
* Fixed "Broken on big-endian architectures" (Closes: #782027)
- (debian/patches/abc-bugfix-20150403.diff)
* Fixed memory alignment problem (Closes: #786916)
- (debian/patches/04_memory_alignment_fix.patch)
* Fixed FTBFS during reproducibility tests (Closes: 780449)
- (debian/patches/reproducibility.patch)
2014-09-05 - Ruben Undheim <>
berkeley-abc (1.01+20140822hg4d547a5+dfsg-1) unstable; urgency=low
* Initial release (Closes: #761364)

See Also

Package Description
berusky-data_1.4-1_all.deb Data files for Berusky
berusky2-data_0.9-1_all.deb logic game Bugs Escape 3D -- data files
berusky2_0.10-3_amd64.deb logic game Bugs Escape 3D
berusky_1.4-1_amd64.deb Logic game based on Sokoban
betaradio_1.6-1_amd64.deb Internet radio of Taiwan
between_6+dfsg1-3_amd64.deb game about consciousness and isolation
bf-utf-source_0.07_all.deb source for fonts needed to build Debian installers
bfbtester_2.0.1-7.1_amd64.deb Brute Force Binary Tester
bfgminer_4.7.0+dfsg-2_amd64.deb multi-threaded multi-pool ASIC, FPGA and GPU bitcoin miner
bgfinancas_2.0-1_all.deb Personal finance manager
bgoffice-computer-terms_0.0.200909080118-1_all.deb English-Bulgarian dictionary of computer terms
bhl_1.7.3-3_all.deb Emacs mode for converting annotated text to HTML and LaTeX
biabam_0.9.7-7_all.deb bash attachment mailer
bibclean_2.11.4.1-4_amd64.deb pretty-printer for BibTeX databases
bibcursed_2.0.0-6_amd64.deb An interactive program to edit BibTeX bibliographies