Ubuntu
berkeley-abc package

berkeley-abc 1.01+20191006git52a8ebb+dfsg-1build1 source package in Ubuntu

Changelog

berkeley-abc (1.01+20191006git52a8ebb+dfsg-1build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:34:35 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Focal
Original maintainer:
Debian Science Team
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
berkeley-abc_1.01+20191006git52a8ebb+dfsg.orig.tar.xz 3.5 MiB f0a2ab844c951b0e2f562d54203dbee0c5afe6102de858d76dc7f892d9f09bd3
berkeley-abc_1.01+20191006git52a8ebb+dfsg-1build1.debian.tar.xz 14.8 KiB 66797bb68d884c8d4ec3704844bfdf7b3ef64e0e071d21ed1f0a2bdd10bc941c
berkeley-abc_1.01+20191006git52a8ebb+dfsg-1build1.dsc 2.2 KiB 7c725cb8d4739bf52f764620cffe2ed189b056e7a442313711c20d2bc994d819

View changes file

Binary packages built by this source

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

 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.

berkeley-abc-dbgsym: No summary available for berkeley-abc-dbgsym in ubuntu impish.

No description available for berkeley-abc-dbgsym in ubuntu impish.